A genetically modified Hoare logic

Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux. A genetically modified Hoare logic. Theoretical Computer Science, 765:145-157, 2019. [doi]

Authors

Gilles Bernot

This author has not been identified. Look up 'Gilles Bernot' in Google

Jean-Paul Comet

This author has not been identified. Look up 'Jean-Paul Comet' in Google

Zohra Khalis

This author has not been identified. Look up 'Zohra Khalis' in Google

Adrien Richard

This author has not been identified. Look up 'Adrien Richard' in Google

Olivier F. Roux

This author has not been identified. Look up 'Olivier F. Roux' in Google