Using formal methods for requirements specification of a proposed POSIX standard.

Neal R. Reizer, Gregory D. Abowd, B. Craig Meyers, Patrick R. H. Place

Browse the full RE paper archive.