The First Twenty-Five Years of Industrial Use of the B-Method
Michael Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michaël Leuschel, Luis-Fernando Mejia, Laurent Voisin
Topics & Concepts
Computer scienceDomain (mathematical analysis)Software engineeringSoftwareSystems engineeringData scienceProgramming languageEngineeringMathematical analysisMathematicsModel-Driven Software Engineering TechniquesFormal Methods in VerificationSimulation Techniques and Applications