%0 Book Section %1 hinchey_06_introduction %A Hinchey, Michael G. %A Bowen, Jonathan %A Rouff, Christopher %D 2006 %J Agent Technology from a Formal Perspective %K engineering formal methods myown software %P 25--64 %R 10.1007/1-84628-271-3_2 %T Introduction to Formal Methods %U http://dx.doi.org/10.1007/1-84628-271-3_2

@incollection{hinchey_06_introduction, added-at = {2011-08-01T19:40:25.000+0200}, author = {Hinchey, Michael G. and Bowen, Jonathan and Rouff, Christopher}, biburl = {https://www.bibsonomy.org/bibtex/26b9b98a4deb21dbbdd79396356bd62f8/jpbowen}, citeulike-article-id = {2497934}, doi = {10.1007/1-84628-271-3_2}, interhash = {7a6a09f7d7ffd4607b326dd82143c4a6}, intrahash = {6b9b98a4deb21dbbdd79396356bd62f8}, journal = {Agent Technology from a Formal Perspective}, keywords = {engineering formal methods myown software}, pages = {25--64}, posted-at = {2008-03-10 00:18:26}, priority = {2}, timestamp = {2011-08-01T19:40:25.000+0200}, title = {Introduction to Formal Methods}, url = {http://dx.doi.org/10.1007/1-84628-271-3_2}, year = 2006 }