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