%0 Book %1 books/daglib/0024034 %A Jackson, Daniel %D 2006 %I MIT Press %K dblp %P I-XVI, 1-350 %T Software Abstractions - Logic, Language, and Analysis. %@ 978-0-262-10114-1

@book{books/daglib/0024034, added-at = {2011-03-24T00:00:00.000+0100}, author = {Jackson, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2fc3bf970c4b91ebb9f14183efe2720ec/dblp}, ee = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10928}, interhash = {c3b356eab2201010e652630253196ebf}, intrahash = {fc3bf970c4b91ebb9f14183efe2720ec}, isbn = {978-0-262-10114-1}, keywords = {dblp}, pages = {I-XVI, 1-350}, publisher = {MIT Press}, timestamp = {2011-04-29T15:26:17.000+0200}, title = {Software Abstractions - Logic, Language, and Analysis.}, year = 2006 }