An implementation of constructive synchronous programs (2000)

by G Berry, E Sentovich
Venue:in POLIS, Formal Methods System Design 17 (2