Login / Signup
Paul Laycock
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Database Engine
Database
Sufficient Conditions
Data Abstraction
Top Venues
CoRR
</>
Publications
</>
Ruslan Mashinistov
,
Lino Gerlach
,
Paul Laycock
,
Andrea Formica
,
Giacomo Govi
,
Chris Pinkenburg
The HSF Conditions Database Reference Implementation.
CoRR
(2024)