[IEEE 1984 IEEE Symposium on Security and Privacy - Oakland, CA, USA (1984.4.29-1984.5.2)] 1984 IEEE Symposium on Security and Privacy - Unwinding and Inference Control
Goguen, Joseph A., Meseguer, JoseYear:
1984
Language:
english
DOI:
10.1109/sp.1984.10019
File:
PDF, 1.08 MB
english, 1984