Patrick R. H. Place

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Neal R. Reizer, Gregory D. Abowd, B. Craig Meyers, Patrick R. H. Place
Using formal methods for requirements specification of a proposed POSIX standard. ICRE (1994)