VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer
1990
|
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer
1990
|