Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures
by Susanne Graf

No description available.
System designObject-oriented programming (computer science)Formal methods (Computer science)Congresses