Werner Stephan

zbMath Openstephan.wernerMaRDI QIDQ1856149

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