Login / Signup
Howard Reubenstein
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Real World
Formal Verification
Database
Domain Specific Languages
Top Venues
NFM
</>
Publications
</>
Greg Eakman
,
Howard Reubenstein
,
Tom Hawkins
,
Mitesh Jain
,
Panagiotis Manolios
Practical Formal Verification of Domain-Specific Language Applications.
NFM
(2015)