%0 Conference Paper %1 conf/iwfm/BicarreguiM99 %A Bicarregui, Juan %A Matthews, Brian %B IWFM %D 1999 %E Butterfield, Andrew %E Haegele, Klemens %I BCS %K dblp %T Proof and Refutation in Formal Software Development. %U http://dblp.uni-trier.de/db/conf/iwfm/iwfm1999.html#BicarreguiM99

@inproceedings{conf/iwfm/BicarreguiM99, added-at = {2014-06-11T00:00:00.000+0200}, author = {Bicarregui, Juan and Matthews, Brian}, biburl = {https://www.bibsonomy.org/bibtex/24915ce82431ebffc960e9b15d3013e7d/dblp}, booktitle = {IWFM}, crossref = {conf/iwfm/1999}, editor = {Butterfield, Andrew and Haegele, Klemens}, ee = {http://ewic.bcs.org/content/ConWebDoc/4222}, interhash = {63dad2944cf83649e9dada8e516f6af2}, intrahash = {4915ce82431ebffc960e9b15d3013e7d}, keywords = {dblp}, publisher = {BCS}, series = {Workshops in Computing}, timestamp = {2018-06-20T11:42:59.000+0200}, title = {Proof and Refutation in Formal Software Development.}, url = {http://dblp.uni-trier.de/db/conf/iwfm/iwfm1999.html#BicarreguiM99}, year = 1999 }