共 50 条
- [48] Microprocessor Control of Mini Robots PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 325 - 327
- [50] A mini challenge: Build a verifiable filesystem VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 49 - 56