User Manual of B Language , Redaction Guide of Mathematic Rules

Deux nouveaux manuels dédiés à l'Atelier B sont désormais disponibles :
- Manuel Utilisateur du Langage B
- Guide de Rédaction de Règles Mathématiques
              
Ces derniers sont actuellement en français et disponibles en open-source (licence Creatice Commons - Paternité). Nous recherchons actuellement des traducteurs souhaitant réaliser
la traduction en anglais de ces 2 documents.
              
Pour participer à ce projet, merci de nous contacter à l'adresse suivante : contact@atelierb.eu.
Bien cordialement
CLEARSY SYSTEM ENGINEERING
Spécialiste des Systèmes Sécuritaires
              
              
Dear Users,
              
Two new manuals dedicated to Atelier B are now available :
              
User Manual of B Language
Redaction Guide of Mathematic Rules
              
              
These manuals are available in french and released as open-souce (License Creative Commons - Attribution). We are currently searching for translators wishing to
contribute to english translation of these 2 documents.
              
To participate to this work, please contact us: contact@atelierb.eu.
Best Regards
CLEARSY SYSTEM ENGINEERING
Specialist in Safety Critical Systems