%0 Book Section %1 reference/se/HincheyBV10 %A Hinchey, Mike %A Bowen, Jonathan P. %A Vassev, Emil %B Encyclopedia of Software Engineering %D 2010 %E Laplante, Phillip A. %I Taylor & Francis %K engineering formal methods myown software %P 308-320 %T Formal Methods. %U http://dblp.uni-trier.de/db/reference/se/se2010.html#HincheyBV10 %@ 978-1-4200-5977-9

@incollection{reference/se/HincheyBV10, added-at = {2011-08-01T19:30:55.000+0200}, author = {Hinchey, Mike and Bowen, Jonathan P. and Vassev, Emil}, biburl = {https://www.bibsonomy.org/bibtex/2f501cd554222613b3c3153c71af36e2c/jpbowen}, booktitle = {Encyclopedia of Software Engineering}, crossref = {reference/se/2010}, editor = {Laplante, Phillip A.}, ee = {http://www.informaworld.com/10.1081/E-ESE-120044313}, interhash = {fe77d0ad8a61383c049a8d272962a069}, intrahash = {f501cd554222613b3c3153c71af36e2c}, isbn = {978-1-4200-5977-9}, keywords = {engineering formal methods myown software}, pages = {308-320}, publisher = {Taylor & Francis}, timestamp = {2011-08-01T19:30:55.000+0200}, title = {Formal Methods.}, url = {http://dblp.uni-trier.de/db/reference/se/se2010.html#HincheyBV10}, year = 2010 }