Your session will expire automatically in 0 seconds.
Record:
Title
VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands : October 21-25, 1991 / edited by S. Prehn and W.J. Toetenel.