%0 Conference Paper %1 conf/zum/CarringtonS94 %A Carrington, David A. %A Stocks, Phil %B Z User Workshop %D 1994 %E Bowen, Jonathan P. %E Hall, J. Anthony %I Springer/BCS %K dblp %P 51-68 %T A Tale of Two Paradigms: Formal Methods and Software Testing. %U http://dblp.uni-trier.de/db/conf/zum/zum1994.html#CarringtonS94 %@ 3-540-19884-9

@inproceedings{conf/zum/CarringtonS94, added-at = {2014-02-11T00:00:00.000+0100}, author = {Carrington, David A. and Stocks, Phil}, biburl = {https://www.bibsonomy.org/bibtex/2dc78892d059b198578e6b4d739e0b233/dblp}, booktitle = {Z User Workshop}, crossref = {conf/zum/1994}, editor = {Bowen, Jonathan P. and Hall, J. Anthony}, interhash = {9d884bc7dcb2fe35db87aafa9e16557a}, intrahash = {dc78892d059b198578e6b4d739e0b233}, isbn = {3-540-19884-9}, keywords = {dblp}, pages = {51-68}, publisher = {Springer/BCS}, series = {Workshops in Computing}, timestamp = {2017-05-20T01:59:55.000+0200}, title = {A Tale of Two Paradigms: Formal Methods and Software Testing.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1994.html#CarringtonS94}, year = 1994 }