PresentationPDF Available

The Atelier B Proof System and Its Improvements

Authors:

Abstract

Presentation of the Ate lier B proof system: - intro to the B method - proof system - improvements given at the occasion of the Escola de Informática Teórica e Métodos Formais (ETMF) (http://www.sbmf2018.ufba.br/)
A preview of the PDF is not available

Supplementary resource (1)

ResearchGate has not been able to resolve any citations for this publication.
ResearchGate has not been able to resolve any references for this publication.