Computer Aided Verification : 7th International Conference, CAV '95 : Liege, Belgium, July 3-5, 1995 : proceedings - Wolper, Pierre (Lecture notes in computer science ;, 1995)