Proceedings Real-Time Systems Education III Journal

publication venue for

• Formal methods in the classroom: the logic of real-time software design 1999