Abstraction Refinement for Large Scale Model Checking 비슷한 책 더 보기

SSA-based Compiler Design

Application and Theory of Petri Nets and Concurrency