Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / - Wolper, Pierre. (Springer-Verlag,, 1995)