Reference for Program Verification: Micharl …
Reference for Program Verification: Micharl Huth & Mark Ryan: Logic in Computer Science - modeling and reasoning about systems, Chapter 4. (This book can be found in the IFI library).
Published Oct. 11, 2012 7:10 PM
- Last modified Apr. 16, 2013 1:20 PM