| Original language | English |
|---|---|
| Title of host publication | Proc. Autumn '88 EUUG Conference |
| Publication status | Published - 1988 |
Precise Standards through Formal Specifications: a Case Study: the Unix File System
Olivier Declerfayt, Brigitte Demeuse, Elie Milgrom, Pierre-Yves Schobbens, Francois Wautier
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution