Results 1-3 of 3 (Search time: 0.001 seconds).

	Issue Date	Title	Author(s)	Relation
1	2012	Thread-Modular Model Checking with Iterative Refinement	Wenrui Meng; Fei He; Bow-Yaw Wang ; Qiang Liu
2	2011	Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference	Yungbum Jung; Wonchan Lee; Bow-Yaw Wang ; Kwangkeun Yi
3	2009	Automated Compositional Reasoning of Intuitionistically Closed Regular Properties	Yih-Kuen Tsay; Bow-Yaw Wang	International Journal of Foundations of Computer Science 20(4), 747-762