Login / Signup
Gregory J. M. Woods
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Formal Proofs
Imperative Programs
Top Venues
TYPES
</>
Publications
</>
Ulrich Berger
,
Monika Seisenberger
,
Gregory J. M. Woods
Extracting Imperative Programs from Proofs: In-place Quicksort.
TYPES
(2013)