Where now for development methodologies? 论文

2003Communications of the ACM引用 276
DOI
Distributed systems and fault toleranceFormal Methods in Verification
Distributed systems and fault toleranceFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Where now for development methodologies? · 相关技术

相关技术

Formal Methods in Verification