Jean-Raymond Abrial

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5219932	2020-03-09	Paper
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem	2016-02-25	Paper
Set-Theoretic Models of Computations	2013-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q3569584	2010-06-21	Paper
Click’n Prove: Interactive Proofs within Set Theory	2010-05-07	Paper
Developing topology discovery in Event-B	2009-12-11	Paper
Developing Topology Discovery in Event-B	2009-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5294155	2007-07-24	Paper
ZB 2005: Formal Specification and Development in Z and B	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q5703804	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4472186	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4472194	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4436966	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4436983	2003-12-04	Paper
A mechanically proved and incremental development of IEEE 1394 tree identify protocol	2003-08-27	Paper
The B-Book	1998-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4364529	1997-11-17	Paper
The mathematical construction of a program	1984-01-01	Paper
Programming as a mathematical exercise	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3048222	1979-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jean-Raymond Abrial