About this scholarly article

Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems - Using automatable proof obligations for component-based design checking by Rangarajan, M.; Alexander, P.; Abu-Ghazaleh, N.B. is a scholarly article available to read on EtoBox.

Author

Rangarajan, M.; Alexander, P.; Abu-Ghazaleh, N.B.

Publisher

IEEE Comput. Soc

Published

1999

Language

EN