Jean-Raymond Abrial

MaRDI QIDQ1044180zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7178367 (Why is no real title available?)	2020-03-09	Paper
An exercise in mathematical engineering: stating and proving Kuratowski theorem Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
Set-theoretic models of computations Theories of Programming and Formal Methods	2013-08-16	Paper
Modeling in Event B. System and software engineering.	2010-06-21	Paper
Click'n prove: interactive proofs within set theory Lecture Notes in Computer Science	2010-05-07	Paper
Developing topology discovery in Event-B Science of Computer Programming	2009-12-11	Paper
Developing Topology Discovery in Event-B Lecture Notes in Computer Science	2009-02-24	Paper
Refinement, decomposition, and instantiation of discrete models: application to Event-B	2007-07-24	Paper
scientific article; zbMATH DE number 2227867 (Why is no real title available?)	2005-11-10	Paper
ZB 2005: Formal Specification and Development in Z and B Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 2080004 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2080010 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2013582 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 2013597 (Why is no real title available?)	2003-12-04	Paper
A mechanically proved and incremental development of IEEE 1394 tree identify protocol Formal Aspects of Computing	2003-08-27	Paper
The B-Book	1998-09-06	Paper
scientific article; zbMATH DE number 1088213 (Why is no real title available?)	1997-11-17	Paper
The mathematical construction of a program Science of Computer Programming	1984-01-01	Paper
Programming as a mathematical exercise Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences	1984-01-01	Paper
scientific article; zbMATH DE number 3642688 (Why is no real title available?)	1979-01-01	Paper

Research outcomes over time

This page was built for person: Jean-Raymond Abrial