Travelled to:1 × Italy
1 × Lithuania
Collaborated with:D.L.Chaudhari
Talks about:program (2) introduc (1) theorem (1) prover (1) method (1) formal (1) calcul (1) assist (1) deriv (1) autom (1)
Person: Om P. Damani
DBLP: Damani:Om_P=
Contributed to:
2015
2014Wrote 2 papers:
- ITiCSE-2015-ChaudhariD #formal method
- Introducing Formal Methods via Program Derivation (DLC, OPD), pp. 266–271.
- IFM-2014-ChaudhariD #automation #proving #theorem proving
- Automated Theorem Prover Assisted Program Calculations (DLC, OPD), pp. 205–220.