Alternating refinement relations 论文

1998Lecture notes in computer science引用 298

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

4

作者

2

相关技术

0

相关事件

0

相关文章

作者查看全部 (4)

摩西·瓦迪

Orna Kupferman

Thomas A. Henzinger

Rajeev Alur

相关技术查看全部 (2)

Formal Methods in Verification Model-Driven Software Engineering Techniques

相关事件

暂无数据

相关文章

暂无数据