EasyChair Smart SlideUser guide
Author: Michael Leuschel

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

Making ProB Compatible with SICStus and SWI-Prolog (Best Application Paper Award)

Making ProB Compatible with SICStus and SWI-Prolog (Best Application Paper Award)

David Geleßus and Michael Leuschel

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

Invited Talk: Practical uses of Logic, Formal Methods, B and ProB

Invited Talk: Practical uses of Logic, Formal Methods, B and ProB

Michael Leuschel

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