FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Auto-active verification using Why3's IDE

Author: Jean-Christophe Filliâtre

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Auto-active verification using Why3's IDE
Authors:Jean-Christophe Filliâtre
Proceedings:F-IDE F-IDE-18 Proceedings
Editors: Paolo Masci, Rosemary Monahan and Virgile Prevosto
Keywords:
Abstract:
Pages:1
Paper: