Index Catalog // 蹄兔

清除筛选

筛选: 关键词 formal verification

1. An Axiomatic Semantics for Functional Reactive Programming

关键词:: coq, monads, formal verification, and functional reactive programming
创造者:: King, Christopher T.
Advisor:: Fisler, Kathryn
出版者:: Worcester Polytechnic Institute
创建日期:: 2008-04-29
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science