State isomorphism in model programs with abstract data structures
statement of authorship
Margus Veanes, Juhan Ernits and Colin Campbell
location of publication
[Tallinn]
publisher
year of publication
pages
lk. 43-46 : ill
ISBN
978-9985-59-700-2
notes
Bibliogr.: 10 nim
language
inglise
Veanes, M., Ernits, J.-P., Campbell, C. State isomorphism in model programs with abstract data structures // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum. [Tallinn] : [Tallinna TehnikaĆ¼likool], 2007. lk. 43-46 : ill.