共 50 条
- [2] The Next 700 Separation Logics VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2010, 6217 : 169 - 182
- [4] The Next 700 Program Transformers LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, 13290 : 113 - 134
- [5] The Next 700 BFT Protocols EUROSYS'10: PROCEEDINGS OF THE EUROSYS 2010 CONFERENCE, 2010, : 363 - 376
- [8] The Next Wave of IoT - Extreme IoT 2024 23RD IFIP NETWORKING CONFERENCE, IFIP NETWORKING 2024, 2024, : 4 - 4