May 15, 2022
2022
Selected for 11th Summer school on Formal Techniques organized by SRI International