Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS)

5. LOMAPS 1996: Stockholm, Sweden

maintained by Schloss Dagstuhl LZI at University of Trier