Evgeny V. Bodin

From MaRDI portal
Person:174088

Available identifiers

zbMath Open bodin.evgeny-vMaRDI QIDQ174088

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q29798142017-04-26Paper
https://portal.mardi4nfdi.de/entity/Q29638782017-02-21Paper
Effective generation of verification conditions for non-deterministic unstructured programs2012-05-11Paper
Generation of correctness conditions for imperative programs2009-09-04Paper
https://portal.mardi4nfdi.de/entity/Q47375532004-08-11Paper
Specification and verification of distributed systems by means of the elementary-REAL language2001-07-24Paper
https://portal.mardi4nfdi.de/entity/Q45170442000-11-20Paper
https://portal.mardi4nfdi.de/entity/Q44994852000-08-30Paper

Research outcomes over time

This page was built for person: Evgeny V. Bodin

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