%0 Book %1 backhouse86verification %A Backhouse, Roland C. %D 1986 %I Prentice-Hall %K cites.ref state.unclassified %T Program construction and verification

@book{backhouse86verification, added-at = {2010-10-07T11:10:17.000+0200}, author = {Backhouse, Roland C.}, biburl = {https://www.bibsonomy.org/bibtex/23a0b5382622ee74a054143c6d0b7d856/msn}, description = {http://portal.acm.org/citation.cfm?id=6610&dl=ACM&coll=portal#}, interhash = {fb66faad482087deea5f236b88a04229}, intrahash = {3a0b5382622ee74a054143c6d0b7d856}, keywords = {cites.ref state.unclassified}, publisher = {Prentice-Hall}, timestamp = {2010-10-07T11:10:18.000+0200}, title = {Program construction and verification }, year = 1986 }