ABS: A Core Language for Abstract Behavioral Specification 论文

2011Lecture notes in computer science引用 313

Logic, programming, and type systemsFormal Methods in VerificationAdvanced Software Engineering Methodologies

Advanced Software Engineering Methodologies Logic, programming, and type systems Formal Methods in Verification

相关技术:Formal Methods in Verification Advanced Software Engineering Methodologies

ABS: A Core Language for Abstract Behavioral Specification · 相关文章

暂无数据