%0 Conference Paper %1 conf/vstte/Hall05 %A Hall, Anthony %B VSTTE %D 2005 %E Meyer, Bertrand %E Woodcock, Jim %I Springer %K dblp %P 70-73 %T Software Verification and Software Engineering a Practitioner's Perspective. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#Hall05 %V 4171 %@ 978-3-540-69147-1

@inproceedings{conf/vstte/Hall05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Hall, Anthony}, biburl = {https://www.bibsonomy.org/bibtex/206c9c0cb7b919029ef8b80ed4cadf36f/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2005}, editor = {Meyer, Bertrand and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-540-69149-5_9}, interhash = {7405f9a2f8cbe3c5611aaef555f21cf4}, intrahash = {06c9c0cb7b919029ef8b80ed4cadf36f}, isbn = {978-3-540-69147-1}, keywords = {dblp}, pages = {70-73}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:22.000+0200}, title = {Software Verification and Software Engineering a Practitioner's Perspective.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#Hall05}, volume = 4171, year = 2005 }