Login / Signup
Iain Singleton
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Industrial Strength
Memory Space
Computational Models
Formal Methods
Top Venues
CoRR
</>
Publications
</>
Ashish Darbari
,
Iain Singleton
,
Michael J. Butler
,
John Colley
Formal Modelling, Testing and Verification of HSA Memory Models using Event-B.
CoRR
(2016)
Ashish Darbari
,
Iain Singleton
Industrial Strength Formal Using Abstractions.
CoRR
(2016)