VOCAL – A Verified OCAml Library

Webpage : https://hal.inria.fr/hal-01561094

A. Charguéraud , J-C. Filliâtre , M. Pereira , F. Pottier

- 2017

@Misc{7-CFPP17,
 author = {Chargu\'eraud, A. and Filli\^atre, J-C. and Pereira, M. and Pottier, F.},
 title = {VOCAL – A Verified OCAml Library},
 month = {Sep},
 year = {2017},
 note = {ML Family Workshop 2017},
 x-language = {EN},
 url = {http://publis.icube.unistra.fr/7-CFPP17}
}