Systematic Software Development Using VDM (1990)

by Cli B Jones
Venue:International Series in Computer Science