The specification statement 论文

1988ACM Transactions on Programming Languages and Systems引用 266
DOIPDF
Logic, programming, and type systemsParallel Computing and Optimization TechniquesFormal Methods in Verification
Parallel Computing and Optimization TechniquesLogic, programming, and type systemsFormal Methods in Verification
相关技术:Parallel Computing and Optimization TechniquesFormal Methods in Verification
关系图谱

The specification statement · 作者

C

Carroll Morgan