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

Overview
Research
Identity
Additional Document Info
View All

authors

Ostroff, JS
Paige, Richard

status

accepted

publication date

1999

published in

Proceedings Real-Time Systems Education III Journal

presented at event

Workshop on Real-Time Systems Education (RTEW'98) Conference