Skip to main content

Proceedings of TAPSOFT 91

Editor
S. Abramsky and T. S. E. Maibaum
Publisher
Springer Lecture Notes in Computer Science
Volume
493−494
Year
1991