Jean-Raymond Abrial

From MaRDI portal
Person:1044180

Available identifiers

zbMath Open abrial.jean-raymondDBLP16/756WikidataQ3169881 ScholiaQ3169881MaRDI QIDQ1044180

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q52199322020-03-09Paper
An exercise in mathematical engineering: stating and proving Kuratowski theorem2016-02-25Paper
Set-theoretic models of computations2013-08-16Paper
Modeling in Event B. System and software engineering.2010-06-21Paper
Click'n prove: interactive proofs within set theory2010-05-07Paper
Developing topology discovery in Event-B2009-12-11Paper
Developing Topology Discovery in Event-B2009-02-24Paper
Refinement, decomposition, and instantiation of discrete models: application to Event-B2007-07-24Paper
https://portal.mardi4nfdi.de/entity/Q57038042005-11-10Paper
ZB 2005: Formal Specification and Development in Z and B2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q44721862004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44721942004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44369662003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q44369832003-12-04Paper
A mechanically proved and incremental development of IEEE 1394 tree identify protocol2003-08-27Paper
The B-Book1998-09-06Paper
https://portal.mardi4nfdi.de/entity/Q43645291997-11-17Paper
The mathematical construction of a program1984-01-01Paper
Programming as a mathematical exercise1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30482221979-01-01Paper

Research outcomes over time

This page was built for person: Jean-Raymond Abrial

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