Travelled to:1 × Italy
1 × Lithuania
Collaborated with:O.P.Damani
Talks about:program (2) introduc (1) theorem (1) prover (1) method (1) formal (1) calcul (1) assist (1) deriv (1) autom (1)
Person: Dipak L. Chaudhari
DBLP: Chaudhari:Dipak_L=
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.