About this scholarly article

Proceedings Real-Time Systems Education III - Formal methods in the classroom: the logic of real-time software design by Ostroff, J.S.; Paige, R.F. is a scholarly article available to read on EtoBox.

Author

Ostroff, J.S.; Paige, R.F.

Publisher

IEEE Comput. Soc

Published

1999

Language

EN