Using satisfiability modulo theories to analyse model programs
author
statement of authorship
Margus Veanes, Ando Saabas
location of publication
[Tallinn
publisher
year of publication
pages
p. 149-150
ISBN
978-9985-59-782-8
notes
Bibliogr.: 12 ref
language
inglise
subject term
Veanes, M., Saabas, A. Using satisfiability modulo theories to analyse model programs // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja. [Tallinn : TTÜ kirjastus], 2008. p. 149-150.