FM 2016: 21ST INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Christoph-Simon Senjak
Organization: Ludwig-Maximilians-Universität München
Web page: http://www2.tcs.ifi.lmu.de/~senjak/
Pages in this Program
Program
Program for Friday, November 11th