Author:
Le Xuan-Bach,Sanan David,Jun Sun,Lin Shang-Wei
Funder
Ministry of Education - Singapore
NRF
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Dafny-based approach to thread-local information flow analysis;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
2. OS‐in‐the‐Loop verification for multi‐tasking control software;Software Testing, Verification and Reliability;2022-11-17