About this scholarly article

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance - Experiences formally verifying a network component by Curzon, P. is a scholarly article available to read on EtoBox.

Author

Curzon, P.

Publisher

IEEE

Published

1994