Open AccessProVerif with Lemmas, Induction, Fast Subsumption, and Much More
Author(s) -
Bruno Blanchet,
Vincent Cheval,
Véronique Cortier
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , programming language , artificial intelligence , natural language processing