Stephan Pfab

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß
Case Studies in Meta-Level Theorem Proving. TPHOLs (1998)
Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke
Towards Light-Weight Verification and Heavy-Weight Testing. Tool Support for System Specification, Development and Verification (1998)