Author:
Barringer Howard,Kuiper Ruurd,Pnueli Amir
Cited by
130 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Analysis of Open Source Search Engines;Highlights in Science, Engineering and Technology;2023-02-12
2. Specifying and Reasoning About Shared-Variable Concurrency;Theories of Programming and Formal Methods;2023
3. Formal Modeling, Verification and Automated Synthesis;Development of Safety-Critical Systems;2023
4. Integrating Sustainability in ELT;Proceedings of the 20th AsiaTEFL-68th TEFLIN-5th iNELTAL Conference (ASIATEFL 2022);2023
5. Program Learning Outcomes Level Achievement in the Mathematics and Basic Sciences Group Course;Proceedings of the International Joint Conference on Arts and Humanities 2022 (IJCAH 2022);2023