Concepedia

Software - The Alt-Ergo theorem prover

Sylvain Conchon, Évelyne Contejean, Stéphane Lescuyer, Alain Mebsout, Mohamed Iguernelala

2010 · 29 citations · 0 references

Concepts