%0 Thesis %1 phd/ndltd/Lam07 %A Lam, Patrick %D 2007 %K %T The Hob system for verifying software design properties.

@phdthesis{phd/ndltd/Lam07, added-at = {2023-12-14T14:56:32.000+0100}, author = {Lam, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2e6c9999dd060376704bbf07a33682a89/admin}, ee = {http://hdl.handle.net/1721.1/38688}, interhash = {e52daadce9efb21eaeb30125ba4b9d73}, intrahash = {e6c9999dd060376704bbf07a33682a89}, keywords = {}, note = {ndltd.org (oai:dspace.mit.edu:1721.1/38688)}, school = {Massachusetts Institute of Technology, Cambridge, MA, USA}, timestamp = {2023-12-14T14:56:32.000+0100}, title = {The Hob system for verifying software design properties.}, year = 2007 }