Proceedings of the 7th International Workshop on Satisfiability Modulo Theories

Gespeichert in:

Weitere Titel:: SMT '09
1. Verfasser:: Dutertre, Bruno
Körperschaft:: ACM Digital Library
Weitere Verfasser:: Dutertre,Bruno (MitwirkendeR)
Format:: Elektronisch E-Book
Sprache:: Englisch
Veröffentlicht:: [Place of publication not identified] Association for Computing Machinery 2009
Umfang:: 1 online resource (45 p.;)
Anmerkungen:: Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:: English
Schlagworte:: Information Technology > Computer Science (Hardware & Networks)
Bezugswerke:: Parallelausgabe: 1-60558-484-3