48

views

    

0

recommends

0

shares

Record: found
Abstract: not found
Book Chapter: not found

Foundations and Practice of Security 

Why3 — Where Programs Meet Provers

other

Author(s): Jean-Christophe Filliâtre , Andrei Paskevich

Publication date (Print): 2013

Publisher: Springer Berlin Heidelberg

Read this book at

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 125-128

DOI: 10.1007/978-3-642-37036-6_8

SO-VID: 5cee9def-9555-4f20-af9d-c3a73cae2971

History

Data availability:

Comments

Comment on this book

Book chapters

Similar content 2,218

MaLeCoP Machine Learning Connection Prover
Authors: Josef Urban, Jiří Vyskočil, Petr Stepanek
Plagiator — A learning prover
Authors: Thomas Kolbe, Jürgen Brauburger
The Matita Interactive Theorem Prover
Authors: Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen …

See all similar

Cited by 39

See all cited by