Karim Berkani

From MaRDI portal
Person:2908504

Available identifiers

zbMath Open berkani.karimMaRDI QIDQ2908504

List of research outcomes





PublicationDate of PublicationType
Tableaux modulo theories using superdeduction. An application to the verification of B proof rules with the Zenon automated theorem prover2012-09-05Paper
Verifying B proof rules using deep embedding and automated theorem proving2011-10-28Paper
https://portal.mardi4nfdi.de/entity/Q48170502004-09-14Paper

Research outcomes over time

This page was built for person: Karim Berkani

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2908504&oldid=7625268"
Powered by MediaWiki