Non abbiamo ancora una biografia di Emil Sekerinski.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
From Action Systems to Distributed Systems
2020
Program Development by Refinement
2012
Integrated Formal Methods
2014
Formal Methods. FM 2019 International Workshops
Formal Methods Teaching
2024
FM 2006
2006
FM 2006 : Formal Methods
Otium
