Formal Program Verification in Java - Etter, Marc (My University, 2022)
Keywords: JavaEE; IFS (Institute for Software)