Login / Signup
Razvan Certezeanu
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Multiscale
Domain Knowledge
Three Dimensional
Top Venues
Theory and Practice of Formal Methods
</>
Publications
</>
Razvan Certezeanu
,
Sophia Drossopoulou
,
Benjamin Egelund-Müller
,
K. Rustan M. Leino
,
Sinduran Sivarajan
,
Mark J. Wheelhouse
Quicksort Revisited - Verifying Alternative Versions of Quicksort.
Theory and Practice of Formal Methods
(2016)