Sebastian Skalberg

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Rajeev K. Ranjan, Claudionor Coelho, Sebastian Skalberg
Beyond verification: leveraging formal for debugging. DAC (2009)
Steven Obua, Sebastian Skalberg
Importing HOL into Isabelle/HOL. IJCAR (2006)