IFM 2020: INTEGRATED FORMAL METHODS
Gerhard Schellhorn
Affiliation: University of Augsburg
Web page: http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/schellhorn/
Pages in this Program
Program
Program for Thursday, November 19th
Program for Wednesday, November 18th