|
 | Up a level |
Haque, I and DâSouza, D and Habeeb, P and Kundu, A and Babu, G (2020) Verification of a Generative Separation Kernel. In: 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, 19-23 October 2020, Hanoi; Viet Nam, pp. 305-322.
