Handbook of Satisfiability 论文

2021引用 489

Formal Methods in VerificationLogic, programming, and type systemsModel-Driven Software Engineering Techniques

企业软件 Model-Driven Software Engineering Techniques Logic, programming, and type systems Formal Methods in Verification

相关技术:Formal Methods in Verification Model-Driven Software Engineering Techniques

Handbook of Satisfiability · 作者

Toby Walsh

Hans van Maaren

Marijn J. H. Heule

Armin Biere