Abstraction Refinement for Large Scale Model Checking Похожие книги

SSA-based Compiler Design

Application and Theory of Petri Nets and Concurrency