P. H. Palmquist

Publication Activity (10 Years)

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

Publications

Benedetto L. DiVito, P. H. Palmquist, E. R. Anderson, M. L. Johnston
Specification and Verification of the ASOS Kernel. IEEE Symposium on Security and Privacy (1990)