Zohra Khalis

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 1

Top Topics

Genetic Programming

Classical Logic

Computational Properties

Top Venues

Theor. Comput. Sci.

Publications

Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A genetically modified Hoare logic. Theor. Comput. Sci. 765 (2019)
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A Genetically Modified Hoare Logic. CoRR (2015)