FMCO
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
ISBN:9783540229421...
Formal Methods for Components and Objects Second International Symposium FMCO 2003 Leiden The Netherlands November 4 7 2003 Revised Lectures