Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings - Wolper, Pierre (Verfasser) (Lecture Notes in Computer Science, 1995)