@Article{articleTCS2019,
  author = 	 {Bernot, G. and Comet, J.-P. and Khalis, Z. and 
                  Richard, A. and Roux, O. F.},
  title = 	 {A Genetically Modified {H}oare Logic},
  journal = 	 {Theoretical Computer Science},
  year = 	 {2019},
  OPTkey = 	 {},
  volume = 	 {765},
  number = 	 {},
  pages = 	 {145-157},
  OPTmonth = 	 {},
  note = 	 {https://doi.org/10.1016/j.tcs.2018.02.003},
  OPTannote = 	 {}
}