%0 Conference Paper %1 conf/ifm/ChaudhariD14 %A Chaudhari, Dipak L. %A Damani, Om P. %B IFM %D 2014 %E Albert, Elvira %E Sekerinski, Emil %I Springer %K dblp %P 205-220 %T Automated Theorem Prover Assisted Program Calculations. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2014.html#ChaudhariD14 %V 8739 %@ 978-3-319-10180-4

@inproceedings{conf/ifm/ChaudhariD14, added-at = {2017-05-24T00:00:00.000+0200}, author = {Chaudhari, Dipak L. and Damani, Om P.}, biburl = {https://www.bibsonomy.org/bibtex/2d3845680bbdd0ebdf83975771f3e1c0a/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2014}, editor = {Albert, Elvira and Sekerinski, Emil}, ee = {https://doi.org/10.1007/978-3-319-10181-1_13}, interhash = {2fca34259625e0ddadd5491f34bf6bf1}, intrahash = {d3845680bbdd0ebdf83975771f3e1c0a}, isbn = {978-3-319-10180-4}, keywords = {dblp}, pages = {205-220}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:38.000+0200}, title = {Automated Theorem Prover Assisted Program Calculations.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2014.html#ChaudhariD14}, volume = 8739, year = 2014 }