Conference
Formal methods in the classroom: the logic of real-time software design
Authors
Ostroff JS; Paige RF
Pagination
pp. 63-70
Publisher
IEEE Comput. Soc
Publication Date
January 1, 1999
ISBN-13
9780769501345
DOI
10.1109/RTSE.1998.766514
Conference proceedings
Proceedings Real-Time Systems Education III