Publications


Publication TypeDateFunding


HardenedGolo: pour augmenter le niveau de confiance en un code Golo

O. Carrillo, N. Stouls, R. Laurent, N. Plokhoi, Q. Zhou, J. Ponge, and F. Le Mouël. HardenedGolo: pour augmenter le niveau de confiance en un code Golo. In Actes des 16ème Journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Montpellier, France, June 2017.

Download

[PDF] 

BibTeX Entry

@InProceedings{CarO:HarGANCCG,
  author                   = {O. Carrillo and N. Stouls and R. Laurent and N. Plokhoi and Q. Zhou and J. Ponge and F. {Le Mou{\"e}l}},
  title                    = {{HardenedGolo}: pour augmenter le niveau de confiance en un code Golo},
  booktitle                = {Actes des 16{\`e}me Journ{\'e}es sur les Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels (AFADL'2017)},
  month                    = Jun,
  year                     = {2017},
  address                  = {Montpellier, France},
  pdf                      = {http://www.le-mouel.net/Research/Publications/Workshops/2017/AFADL2017.pdf},
  x-international-audience = {no},
  x-editorial-board        = {yes},
  bib2html_pubtype         = {National Workshops}
}