Reference for Program Verification: Micharl …_亚博娱乐官网_亚博pt手机客户端登录

sgml
2012-10-11T17:10:49.000Z
type:structured-message
www.uio.no

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).