[IEEE Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy - Oakland, CA, USA (1990.05.7-1990.05.9)] Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy - The deductive theory manager: a knowledge based system for formal verification
Di Vito, B., Garvey, C., Kwong, D., Murray, A., Solomon, J., Wu, A.Year:
1990
Language:
english
DOI:
10.1109/risp.1990.63860
File:
PDF, 948 KB
english, 1990