World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II
Lecture Notes in Computer Science > FM’99 — Formal Methods > Co-design > 1364-1383
Lecture Notes in Computer Science > FM’99 — Formal Methods > Co-design > 1384-1399
Lecture Notes in Computer Science > FM’99 — Formal Methods > Co-design > 1400-1419
Lecture Notes in Computer Science > FM’99 — Formal Methods > Co-design > 1420-1438