%0 Book %1 Potter.1996 %A Potter, Ben %A Sinclair, Jane %A Till, David %D 1996 %I Prentice Hall PTR %K book formal-method z %T Introduction to Formal Specification and Z (2nd Edition) %X <P>Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.</P>

@book{Potter.1996, abstract = {<P>Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.</P>}, added-at = {2013-10-18T15:42:06.000+0200}, author = {Potter, Ben and Sinclair, Jane and Till, David}, biburl = {https://www.bibsonomy.org/bibtex/2aa8ed13c198ad5f4e805b78c9fceef2b/hlackner}, interhash = {eefc9cd614411686f7583f040b650c1f}, intrahash = {aa8ed13c198ad5f4e805b78c9fceef2b}, keywords = {book formal-method z}, publisher = {Prentice Hall PTR}, timestamp = {2013-10-18T15:42:06.000+0200}, title = {Introduction to Formal Specification and Z (2nd Edition)}, year = 1996 }