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