JA
Jean-Raymond Abrial
97
Publications
5,067
Citations
27
h-index
47
i10-index
Loading papers...
Search by keywords
Filter by Type
- Book Chapter (50)
- Article (41)
- Book (4)
- Other (1)
- Preprint (1)
Filter by Open Access Type
- Open Access (15)
- Closed Access (82)
Filter by Authors
- Jean-Raymond Abrial (97)
- Thai Son Hoang (14)
- Dominique Cansell (9)
- Michael Butler (9)
- Wen Su (8)
Filter by Topics
- Formal Methods in Verification (38)
- Logic, programming, and type systems (21)
- Distributed systems and fault tolerance (17)
- Model-Driven Software Engineering Techniques (17)
- Software Reliability and Analysis Research (9)