Atelier B

Interactive Prover

Reference Manual

version 4.0

PIC

ATELIER B
Interactive Prover Reference Manual
version 4.0

Document made by CLEARSY.

This document is the property of CLEARSY and shall not be copied, duplicated or distributed, partially or totally, without prior written consent.

All products names are trademarks of their respective authors.

CLEARSY
ATELIER B maintenance
Parc de la Duranne
320 avenue Archimède
Les Pléiades III - Bât.A
13857 Aix-en-Provence Cedex 3
France
Tél 33 (0)4 42 37 12 99
Fax 33 (0)4 42 37 12 71
email : maintenance.atelierb@clearsy.com