Liveness Reasoning with Isabelle/HOL

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_33 ◽

2009 ◽

pp. 485-499 ◽

Author(s):

Jinshuang Wang ◽

Huabing Yang ◽

Xingyuan Zhang

Download Full-text