User menu

Precise standards through formal specifications: a case study: the UNIX file system

Bibliographic reference Declerfayt, O. ; Demeuse, B. ; Wautier, F. ; Schobbens, P.-Y. ; Milgrom, Elie. Precise standards through formal specifications: a case study: the UNIX file system.New Directions for UNIX. Proceedings of the Autumn 1988 EUUG Conference (Cascais, Portugal, 3-7 October 1988). In: New Directions for UNIX. Proceedings of the Autumn 1988 EUUG Conference, Eur. unix syst. user group1988, p. 115-130
Permanent URL http://hdl.handle.net/2078.1/68340