Login / Signup
Jean-Raymond Abrial
Publication Activity (10 Years)
Years Active: 1974-2020
Publications (10 Years): 6
Top Topics
Meta Learning
Hybrid Systems
Temporal Events
Formal Proofs
Top Venues
ABZ
Int. J. Softw. Tools Technol. Transf.
Theories of Programming and Formal Methods
CoRR
</>
Publications
</>