Semantics of first order parametric specifications
Duško ́Pavlovic
Book Title
Formal Methods '99
Editor
J. Woodcock and J. Wing
Pages
155–172
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
1708
Year
1999
Duško ́Pavlovic