Program proofs and compilation

autor
vastutusandmed
Ando Saabas ; joint work with T.Rezk and T.Uustalu
ilmumiskoht
[S. l.]
ilmumisaasta
leheküljed
[1 p.]. (Student talks and posters 2005 (abstracts))
keel
inglise