A Semantic Approach to the Solution for the Legacy Code Problem. Formal Methods (1997)

by A V Garcia, E H Haeusler, A M Haeberer
Venue:Victorian University of Wellington