( en | de | ru )

 

Disambiguation of "Chaudhari, Dipak L."

Author of the publication

copydeleteadd this publication to your clipboard
Building an IDE for the Calculational Derivation of Imperative Programs.

, and . F-IDE, volume 187 of EPTCS, page 1-13. (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sachin Chaudhari

Prabhakar Chaudhari

Dipak Harel

Dipak Gupta

Dipak Bose

 

Other publications of authors with the same name

Building an IDE for the Calculational Derivation of Imperative Programs., and . F-IDE, volume 187 of EPTCS, page 1-13. (2015)Lexical Co-occurrence, Statistical Significance, and Word Association., , and . EMNLP, page 1058-1068. ACL, (2011)Automated Theorem Prover Assisted Program Calculations., and . IFM, volume 8739 of Lecture Notes in Computer Science, page 205-220. Springer, (2014)Assumption propagation through annotated programs., and . Formal Aspects Comput., 29 (3): 495-530 (2017)Combining Top-Down and Bottom-Up Techniques in Program Derivation., and . LOPSTR, volume 9527 of Lecture Notes in Computer Science, page 244-258. Springer, (2015)Generating Hierarchical State Based Representation From Event-B Models., and . B@FM, volume 280 of Electronic Notes in Theoretical Computer Science, page 35-46. Elsevier, (2011)Introducing Formal Methods via Program Derivation., and . ITiCSE, page 266-271. ACM, (2015)