共 50 条
- [5] Verified Software Units [J]. PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, 2021, 12648 : 118 - 147
- [7] Manifesto: Seizing the initiative in the information economy [J]. ECONTENT, 2000, 23 (01) : 60 - 63
- [9] Verified software grand challenge [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 617 - 617