Modular Formalization of Reactive Modules in COQ

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_9 ◽

2007 ◽

pp. 105-119

Author(s):

Ming-Hsien Tsai ◽

Bow-Yaw Wang

Download Full-text