%0 Book %1 books/daglib/0084077 %A Stavridou, Victoria %B Cambridge tracts in theoretical computer science %D 1993 %I Cambridge University Press %K dblp %P I-XIII, 1-193 %T Formal methods in circuit design. %V 37 %@ 978-0-521-44336-4

@book{books/daglib/0084077, added-at = {2019-07-18T00:00:00.000+0200}, author = {Stavridou, Victoria}, biburl = {https://www.bibsonomy.org/bibtex/2dad73dad19d4fc4719235a9256b2e284/dblp}, interhash = {0729203c74e32432d67fc97ba19b1197}, intrahash = {dad73dad19d4fc4719235a9256b2e284}, isbn = {978-0-521-44336-4}, keywords = {dblp}, pages = {I-XIII, 1-193}, publisher = {Cambridge University Press}, series = {Cambridge tracts in theoretical computer science}, timestamp = {2019-07-19T11:38:39.000+0200}, title = {Formal methods in circuit design.}, volume = 37, year = 1993 }