RAISE: a Product Supporting Industrial Use of Formal Methods |
A. E. Haxthausen, J. Storbank Pedersen, S. Prehn
|
| Type | Journal paper [With referee] |
| Journal | Technique et Science Informatiques |
| Year | 1993 Vol. 12 No. 3 pp. 319-346 |
| Publisher | Afcet/Hermes |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |