VDM-Europe. International Symposium profile picture

VDM-Europe. International Symposium

Stand Alone

Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
VDM-Europe. International Symposium — Books & Biography | Menrva Books | MenrvaBooks