%0 Journal Article %1 journals/scp/BicarreguiDMW97 %A Bicarregui, Juan %A Dick, Jeremy %A Matthews, Brian %A Woods, Eoin %D 1997 %J Sci. Comput. Program. %K dblp %N 1-2 %P 53-78 %T Making the Most of Formal Specification Through Animation, Testing and Proof. %U http://dblp.uni-trier.de/db/journals/scp/scp29.html#BicarreguiDMW97 %V 29

@article{journals/scp/BicarreguiDMW97, added-at = {2021-02-17T00:00:00.000+0100}, author = {Bicarregui, Juan and Dick, Jeremy and Matthews, Brian and Woods, Eoin}, biburl = {https://www.bibsonomy.org/bibtex/2b1e30d53f51f797d406c28dc51b6cb61/dblp}, ee = {https://www.wikidata.org/entity/Q59100842}, interhash = {113b23215ac9bcc71139ab1f89bd83a5}, intrahash = {b1e30d53f51f797d406c28dc51b6cb61}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {1-2}, pages = {53-78}, timestamp = {2024-04-09T05:29:27.000+0200}, title = {Making the Most of Formal Specification Through Animation, Testing and Proof.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp29.html#BicarreguiDMW97}, volume = 29, year = 1997 }