FM 2016: 21ST INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Larissa Meinicke
Organization: The University of Queensland
Web page: http://www.uq.edu.au/uqresearchers/researcher/meinickela.html
Pages in this Program
Program
Program for Wednesday, November 9th