| _version_ |
1797081287429718016
|
| author2 |
Bjørner, D
|
| author_facet |
Bjørner, D
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T01:12:30Z
|
| format |
Conference item
|
| id |
oxford-uuid:8d85bc74-69fb-475c-93ae-fd7ff2c0fbb6
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T01:12:30Z
|
| publishDate |
1990
|
| publisher |
Springer
|
| record_format |
dspace
|
| spelling |
oxford-uuid:8d85bc74-69fb-475c-93ae-fd7ff2c0fbb62022-03-26T22:51:38ZVDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ ProceedingsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:8d85bc74-69fb-475c-93ae-fd7ff2c0fbb6Department of Computer ScienceSpringer1990Bjørner, DHoare, CLangmaack, H
|
| spellingShingle |
VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings
|
| title |
VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings
|
| title_full |
VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings
|
| title_fullStr |
VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings
|
| title_full_unstemmed |
VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings
|
| title_short |
VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings
|
| title_sort |
vdm 90 vdm and z formal methods in software development third international symposium of vdm europe kiel frg april 17 21 1990 proceedings
|