Conference: ABZ2023 (9th International Conference on Rigorous State-based Methods)

Conference: ABZ2023 (9th International Conference on Rigorous State-based Methods)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Journal-First: Building Specifications in the Event-B Institution

Journal-First: Building Specifications in the Event-B Institution

Marie Farrell, Rosemary Monahan and James Power

Task Model Design and Analysis with Alloy

Task Model Design and Analysis with Alloy

Alcino Cunha, Nuno Macedo and Eunsuk Kang

Presentations in this collection: 2