About this scholarly article

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - Planning equational verification in CCS by Monroy, R.; Bundy, A.; Green, I. is a scholarly article available to read on EtoBox.

Author

Monroy, R.; Bundy, A.; Green, I.

Publisher

IEEE Comput. Soc

Published

1998

Language

EN