Werner Stephan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Tactical theorem proving in program verification	2023-04-28	Paper
Mechanizing Mathematical Reasoning Lecture Notes in Computer Science	2006-01-10	Paper
Mechanizing Mathematical Reasoning Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2087525 (Why is no real title available?)	2004-08-11	Paper
VSE: Formal methods meet industrial needs International Journal on Software Tools for Technology Transfer. STTT	2003-02-13	Paper
Formal software development in the Verification Support Environment (VSE) Journal of Experimental & Theoretical Artificial Intelligence	2002-12-04	Paper
scientific article; zbMATH DE number 1390253 (Why is no real title available?)	2000-04-09	Paper
scientific article; zbMATH DE number 1301870 (Why is no real title available?)	1999-06-16	Paper
scientific article; zbMATH DE number 512875 (Why is no real title available?)	1995-11-23	Paper
scientific article; zbMATH DE number 4193099 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 3843160 (Why is no real title available?)	1981-01-01	Paper

Research outcomes over time

This page was built for person: Werner Stephan