FM 2015: FORMAL METHODS 2015
Valerie Issarny
Organization: INRIA
Web site: http://www-rocq.inria.fr/arles/members/issarny.html
Pages in this Program
Program
Program for Friday, June 26th