Pierre Wolper

#	Item
1	Kenneth J. Turner. An engineering approach to formal methods. In Andre A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol Specification, Testing and Verification XIII, pagesNorth-Holland, Ams Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 1999-06-01 17:56:48
2	Exploring Infinite State Spaces with Finite Automata Pierre Wolper Universit´ e de Li` ege Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2001-11-16 12:56:27
3	Contact: Virginia Goldacm Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Paris Kanellakis Award Academia Computing Moshe Y. Vardi ACM SIGACT Paris Kanellakis Pierre Wolper Edmund M. Clarke Brent Hailpern Computer science Year of birth missing Association for Computing Machinery