EasyChair Smart SlideUser guide
Author: Sebastian Krings

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

Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation

Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation

Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings and Moritz Gericke

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair