2. WIFT 1998: Boca Raton, FL, USA

Keynote Speaker I

Tools Session I

Paper Session I

Integrating Formal and Informal Specification Techniques. Why? How?

Formal Methods for Developing High Assurance Computer Sytems: Working Group Report

A Discussion about Integrated Techniques

Keynote Speaker II

Tools II

Paper Session II

Panel: Transferring Formal Methods Technology to Industry

Incorporating Formal Methods into Industrial Processes

Requirements for Industrial-Strength Formal Method Tools

Position Paper

a service of Schloss Dagstuhl - Leibniz Center for Informatics