VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe

The proceedings of the fourth VDM Symposium are presented here in two volumes. <b>Volume 1</b> contains invited and contributed papers, reports and abstracts. <b>Volume 2</b> contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.