5. AMAST 1996: Munich, Germany

Education Day: Industrial Applications of Formal Methods

Conference

Invited Talk

Session 1: Theorem Proving

Session 2: Algebraic Specification

Session 3: Concurrent and Reactive Systems I

Invited Talk

Session 4: Program Verification

Invited Talk

Session 5: Concurrent and Reactive Systems II

Invited Talk

Session 6: Logic Programming and Term Rewriting

Invited Talk

Session 7: Algebraic and Logical Foundations

Invited Talk

Session 8: Concurrent and Reactive Systems III

System Presentations