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