Login / Signup
Maria-Christina Patron
Publication Activity (10 Years)
Years Active: 2000-2000
Publications (10 Years): 0
</>
Publications
</>
Dexter Kozen
,
Maria-Christina Patron
Certification of Compiler Optimizations Using Kleene Algebra with Tests.
Computational Logic
(2000)