Conference Publication Details
Mandatory Fields
M\'ery, Dominique and Monahan, Rosemary and Zheng, Cheng
ISOLA 2016
On two Friends for getting Correct Programs
2016
October
Published
()
Optional Fields
Bernhard Steffen and Tiziana Margaria
18
CORFU, Greece
https://hal.inria.fr/hal-01369425
Grant Details