FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Q1310273)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings |
scientific article; zbMATH DE number 477970
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings |
scientific article; zbMATH DE number 477970 |
Statements
FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (English)
0 references
8 December 1993
0 references
The articles of this volume will not be indexed individually.
0 references
Odense (Denmark)
0 references
FME '93
0 references
Industrial-strength formal methods
0 references
Formal methods
0 references
Symposium
0 references
Proceedings
0 references
0.8811925
0 references
0.8558527
0 references
0.82042396
0 references
0.8164757
0 references
0.81184715
0 references
0.80658644
0 references
0.80347204
0 references
0.8020811
0 references
