Volume 16,
Number 1,
July 1991
Volume 16,
Number 2,
September 1991
Volume 16,
Number 3,
October 1991
- Ralf Kneuper:
Symbolic Execution: A Semantic Approach.
207-249 BibTeX
- Heiko Vogler:
Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers.
251-275 BibTeX
Copyright © Tue Nov 18 20:45:33 2008
by Michael Ley (ley@uni-trier.de)