Login / Signup
Romain Béguet
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Artificial Intelligence
Decision Support
Computing Systems
Top Venues
SMT
</>
Publications
</>
Romain Béguet
,
Raphaël Amiard
Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems.
SMT
(2023)