The B Formal Method Bibliography

georges.mariano@inrets.fr

The PDF version
The BibTeX file
Online papers
 
B @ B’200729 PapersB’2007 Site
B @ ZB’200511 PapersZB’2005 Site
B @ AFADL’20046 PapersAFADL’2004 Site
B @ ZB’200310 PapersZB’2003 Site
B @ AFADL’20037 Papers
B @ ZB’200215 PapersZB’2002 Site
B @ AFADL’200110 Papers
B @ ZB’200011 Papers
B @ AFADL’20008 Papers
B @ FM’1999<10 Papers
Online papers about BMore than 100 papers
DomainBib file
Event-BEvent-B
UMLUML
Code generation for BCode
Probabilistic BpAMN
B Hardware Description LanguageBHDL
ToolsTools around B
Contenu de ce document

Ce document est le résultat d’une veille bibliographique relative à la méthode B menée au sein de l’équipe ESTAS depuis 1993.

Ce document a été diffusé sous diverses formes électroniques dans le cadre du «B Users Group» afin de faciliter la diffusion de l’information scientifique concernant la méthode B.

L’adresse internet de référence est désormais

http://download.gna.org/brillant/docs/B-Bibliography/
This document was translated from LATEX by HEVEA.