Attributed models of executable specifications

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