Stephan Pfab

According to our database, Stephan Pfab authored at least 2 papers in 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Towards Light-Weight Verification and Heavy-Weight Testing.

Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke

Proceedings of the International Workshop Tool Support for System Specification, 1998

Case Studies in Meta-Level Theorem Proving.

Friedrich W. von Henke, Stephan Pfab, Holger Pfeifer, Harald Rueß

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998