Embedding imperative synchronous languages in interactive theorem provers. (2001)

by K Schneider
Venue:In Conference on Application of Concurrency to System Design (ACSD),