DMCA

Embedding imperative synchronous languages in interactive theorem provers (2001)

Cached

Download Links

by K. Schneider , Universität Karlsruhe
Venue:In International Conference on Application of Concurrency to System Design (ICACSD 2001
Citations:37 - 26 self