prindi

Using satisfiability modulo theories to analyse model programs

autor
Veanes, Margus
Saabas, Ando
vastutusandmed
Margus Veanes, Ando Saabas
allikas
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
ilmumiskoht
[Tallinn
kirjastus/väljaandja
TTÜ kirjastus]
ilmumisaasta
2008
leheküljed
p. 149-150
märksõna
mudelid
programmeerimine
ISBN
978-9985-59-782-8
märkused
Bibliogr.: 12 ref
keel
inglise
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.