Login / Signup
Franck Slama
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Semi Automatic
Bayes Classifiers
Description Logics
Key Concepts
Top Venues
CICM
TAP@STAF
</>
Publications
</>
Franck Slama
,
Edwin C. Brady
Automatically Proving Equivalence by Type-Safe Reflection.
CICM
(2017)
Franck Slama
Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant!
TAP@STAF
(2016)