Jeannerod, Nicolas
Marché, Claude
Treinen, Ralf
Chapter History
First Online: 15 December 2017
Conference Information
Conference Acronym: VSTTE
Conference Name: Working Conference on Verified Software: Theories, Tools, and Experiments
Conference City: Heidelberg
Conference Country: Germany
Conference Year: 2017
Conference Start Date: 22 July 2017
Conference End Date: 23 July 2017
Conference Number: 9
Conference ID: vstte2017
Conference URL: https://vstte17.lri.fr/