Formal Methods for Components and Objects [E-Book] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / by Frank Boer, Marcello Bonsangue, Susanne Graf.
Boer, Frank
Bonsangue, Marcello. / de Roever, Willem-Paul. / Graf, Susanne.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2003
online resource
Lecture notes in computer science ; 2852
Full Text
Description not available.