EasyChair Smart SlideDocs/Log in
Author: Michael Butler

This page shows all presentations of this author published in EasyChair Smart Slide.

The History and Evolution of B and Event-B

The History and Evolution of B and Event-B

Sebastian Krings, Michael Butler, Philipp Koerner, Thierry Lecomte, Michael Leuschel and Laurent Voison

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair