Stefan Hallerstede

Available identifiers

zbMath Open hallerstede.stefanMaRDI QIDQ432153

List of research outcomes

Publication	Date of Publication	Type
From Software Specifications to Constraint Programming	2023-05-05	Paper
Proving Quicksort Correct in Event-B	2016-08-01	Paper
Validation of formal models by refinement animation	2013-06-06	Paper
Experiments in program verification using Event-B	2012-07-03	Paper
On the purpose of Event-B proof obligations	2011-05-27	Paper
Incremental System Modelling in Event-B	2009-10-28	Paper
Qualitative Probabilistic Modelling in Event-B	2009-03-06	Paper
On the Purpose of Event-B Proof Obligations	2008-11-11	Paper
Refinement, decomposition, and instantiation of discrete models: application to Event-B	2007-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4436962	2003-12-04	Paper

Research outcomes over time

This page was built for person: Stefan Hallerstede