Proven correct front-end speci cation (1991)

by D Weber-Wul
Venue:Dept. of Computer Science, Technical University of Denmark