Let's verify this with Why3.

François Bobot Jean-Christophe Filliâtre Claude Marché Andrei Paskevich

Published in: Int. J. Softw. Tools Technol. Transf. (2015)

Keyphrases

knowledge base