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 > 1384-1399