| langue originale | Anglais |
|---|---|
| titre | Proc. Autumn '88 EUUG Conference |
| Etat de la publication | Publié - 1988 |
Precise Standards through Formal Specifications: a Case Study: the Unix File System
Olivier Declerfayt, Brigitte Demeuse, Elie Milgrom, Pierre-Yves Schobbens, Francois Wautier
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque