print

Attributed models of executable specifications

author
Meriste, Merik
Penjam, Jaan
statement of authorship
M.Meriste, J.Penjam
source
Proceedings of PLILP '95
location of publication
Berlin
publisher
Springer
year of publication
1995
pages
p. 459-460
subject term
mudelid
spetsifikatsioonid
notes
(Lect. Notes. Comp. Sci. ; 982)
language
inglise
Meriste, M., Penjam, J. Attributed models of executable specifications // Proceedings of PLILP '95. Berlin : Springer, 1995. p. 459-460.