Laurent Voisin

Latest

• The First Twenty-Five Years of Industrial Use of the B Method
• The History and Evolution of B and Event-B