Login / Signup
Ryan Rusich
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Integrity Constraints
Symbolic Model Checking
Binary Decision Diagrams
Top Venues
TAP@STAF
</>
Publications
</>
Yousra Lembachar
,
Ryan Rusich
,
Iulian Neamtiu
,
Gianfranco Ciardo
Bddl: A Type System for Binary Decision Diagrams.
TAP@STAF
(2022)