[IEEE Proceedings. 1990 IEEE Computer Society Symposium on...

  • Main
  • [IEEE Proceedings. 1990 IEEE Computer...

[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.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
1990
Language:
english
DOI:
10.1109/risp.1990.63860
File:
PDF, 948 KB
english, 1990
Conversion to is in progress
Conversion to is failed