IFM 2020: INTEGRATED FORMAL METHODS
Hugo A. López
Affiliation: IT University of Copenhagen / DCR Solutions
Web page: http://www.lopezacosta.net
Pages in this Program
Program
Program for Tuesday, November 17th