About this scholarly article

Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95 - Specifying static analysis tools using formal methods by Lano, K. is a scholarly article available to read on EtoBox.

Author

Lano, K.

Publisher

IEEE Comput. Soc. Press

Published

1995

Language

EN