Implementation of parameterised specifications

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0012793 ◽

1982 ◽

pp. 473-488 ◽

Cited By ~ 29

Author(s):

Donald Sannella ◽

Martin Wirsing

Download Full-text