Steve Reeves

From MaRDI portal
Person:541211

Available identifiers

zbMath Open reeves.steveDBLP77/3908WikidataQ7613713 ScholiaQ7613713MaRDI QIDQ541211

List of research outcomes





PublicationDate of PublicationType
Guarded operations, refinement and simulation2016-08-01Paper
General refinement. II: Flexible refinement2014-03-26Paper
General refinement. I: Interfaces, determinism and special refinement2014-03-26Paper
Generic tools via general refinement2014-01-24Paper
Contexts, refinement and determinism2011-06-06Paper
Refinement for user interface designs2010-01-04Paper
Data refinement and singleton failures refinement are not equivalent2008-06-25Paper
https://portal.mardi4nfdi.de/entity/Q53108862007-10-15Paper
Automated Technology for Verification and Analysis2006-10-25Paper
CONFLICTS AND FAIR TESTING2006-08-21Paper
https://portal.mardi4nfdi.de/entity/Q46801942006-06-02Paper
Theoretical Aspects of Computing - ICTAC 20042005-11-30Paper
A logic for schema-based program development2005-02-08Paper
https://portal.mardi4nfdi.de/entity/Q44719222004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44542982004-03-08Paper
https://portal.mardi4nfdi.de/entity/Q44369632003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q44125142003-07-15Paper
Constructive Mathematics in Theory and Programming Practice2001-10-30Paper
Revising \(Z\). I: Logic and semantics2001-02-18Paper
Investigating Z2000-12-05Paper
Revising \(Z\). II: Logical development2000-05-07Paper
https://portal.mardi4nfdi.de/entity/Q42506611999-11-02Paper
https://portal.mardi4nfdi.de/entity/Q43702841998-05-03Paper
https://portal.mardi4nfdi.de/entity/Q43702871998-04-01Paper

Research outcomes over time

This page was built for person: Steve Reeves

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