Veanes, M., Saabas, A. - TalTech teadusportaal

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

ISBN

978-9985-59-782-8

märkused

Bibliogr.: 12 ref

keel

inglise

Märksõnad ja võtmesõnad

märksõna

mudelid

programmeerimine

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.