Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN:9783540755951
nancy stern and robetr a.stern1997 年出版722 页ISBN:0471183849
BENJAMIN H.WILLIER PAUL A.WEISS VIKTOR HAMBURGER2222 年出版735 页ISBN: