Le, Khanh Trinh (2018) Formalization and Verification of AUTOSAR OS Standard's Memory Protection. In: The 12th International Symposium on Theoretical Aspects of Software Engineering, 29-31 August 2018, Guangzhou, China. (In Press)