Emil Sekerinski

From MaRDI portal
Person:706514

Available identifiers

zbMath Open sekerinski.emilMaRDI QIDQ706514

List of research outcomes





PublicationDate of PublicationType
An Algebraic Approach to Refinement with Fair Choice2014-03-26Paper
Finitary Fairness in Action Systems2013-10-04Paper
Tabular verification and refinement2013-08-19Paper
Verification Rules for Exception Handling in Eiffel2012-11-06Paper
Concurrent object-oriented programs: from specification to code.2010-02-09Paper
Verification and refinement with fine-grained action-based concurrent objects2005-04-06Paper
Exploring tabular verification and refinement2005-02-08Paper
https://portal.mardi4nfdi.de/entity/Q47375572004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44358802003-11-20Paper
https://portal.mardi4nfdi.de/entity/Q27210972001-07-01Paper
https://portal.mardi4nfdi.de/entity/Q45222442000-12-19Paper
https://portal.mardi4nfdi.de/entity/Q43388461997-05-30Paper
https://portal.mardi4nfdi.de/entity/Q42816761993-01-01Paper

Research outcomes over time

This page was built for person: Emil Sekerinski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:706514&oldid=7633559"
Powered by MediaWiki