Attributed models of executable specifications

vastutusandmed
M.Meriste, J.Penjam
allikas
Proceedings of PLILP '95
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 459-460
märkused
(Lect. Notes. Comp. Sci. ; 982)
keel
inglise
Meriste, M., Penjam, J. Attributed models of executable specifications // Proceedings of PLILP '95. Berlin : Springer Verlag, 1995. p. 459-460.