| Original language | Undefined |
|---|---|
| Place of Publication | Enschede |
| Publisher | University of Twente |
| Number of pages | 158 |
| Publication status | Published - 1992 |
Keywords
- METIS-122156
Catalogue of LOTOS Correctness Preserving Transformations: Task 1.2 Final Deliverable
Research output: Book/Report › Report › Professional