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 > European Theory and Practice of Software (ETAPS) > 1068-1086
Lecture Notes in Computer Science > FM’99 — Formal Methods > European Theory and Practice of Software (ETAPS) > 1087-1106