FM24: 26TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Silvia Lizeth Tapia Tarifa
Affiliation: University of Oslo
Web page: http://www.mn.uio.no/ifi/english/people/aca/sltarifa/
Pages in this Program
Program
Program for Friday, September 13th