VDM '90 (1990 Kiel, Germany) profile picture

VDM '90 (1990 Kiel, Germany)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

VDM '90
VDM '90: VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings