Most Popular Books
- Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings (Lecture Notes in Computer Science)
- Computer-Aided Verification of Coordinating Processes
- Investment Industry Claims Debunked: Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
