Reasoning about infinite computation paths 论文

1983引用 309
DOI
semigroups and automata theoryFormal Methods in VerificationLogic, programming, and type systems
Logic, programming, and type systemssemigroups and automata theoryFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Reasoning about infinite computation paths · 相关技术

相关技术

Formal Methods in Verification