%0 Conference Paper %1 conf/setss/Morgan14 %A Morgan, Carroll %B SETSS %D 2014 %E Liu, Zhiming %E Zhang, Zili %I Springer %K dblp %P 1-79 %T (In-)Formal Methods: The Lost Art - A Users' Manual. %U http://dblp.uni-trier.de/db/conf/setss/setss2014.html#Morgan14 %V 9506 %@ 978-3-319-29627-2

@inproceedings{conf/setss/Morgan14, added-at = {2017-05-17T00:00:00.000+0200}, author = {Morgan, Carroll}, biburl = {https://www.bibsonomy.org/bibtex/2c6017643e1760a9cad411aee23e5b8be/dblp}, booktitle = {SETSS}, crossref = {conf/setss/2014}, editor = {Liu, Zhiming and Zhang, Zili}, ee = {https://doi.org/10.1007/978-3-319-29628-9_1}, interhash = {a033c23edd54b2cd49e3a2e676fdfcc0}, intrahash = {c6017643e1760a9cad411aee23e5b8be}, isbn = {978-3-319-29627-2}, keywords = {dblp}, pages = {1-79}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:54:54.000+0200}, title = {(In-)Formal Methods: The Lost Art - A Users' Manual.}, url = {http://dblp.uni-trier.de/db/conf/setss/setss2014.html#Morgan14}, volume = 9506, year = 2014 }