Deductive Software Verification – The KeY Book 论文

2016Lecture notes in computer science引用 279
DOI
Formal Methods in VerificationSoftware Reliability and Analysis Research
Formal Methods in VerificationSoftware Reliability and Analysis Research
相关技术:Formal Methods in Verification
关系图谱

Deductive Software Verification – The KeY Book · 作者

M

Mattias Ulbrich