Engineering DoC Researchers Advances Assurance in Dafny Compiler with Award-Winning Research 26 July 2024
Engineering New research nominated for the Pragnesh Jay Modi Best Paper Award at AAMAS '24 9 May 2024