Practical transformation verification with OCL

author
statement of authorship
Andres Toom
location of publication
[Tallinn]
year of publication
pages
p. 165-168 : ill
conference name, date
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viies aastakonverents, 25.-26. novembril 2011
conference location
Nelijärve
ISBN
978-9949-23-218-5
notes
Bibliogr.: 6 ref
language
inglise
Toom, A. Practical transformation verification with OCL // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve. [Tallinn] : [Tallinna Tehnikaülikooli kirjastus], 2011. p. 165-168 : ill.