Formal methods for components and objects: First international symposium, FMCO 2002 Leiden, the Netherlands, november 5–8, 2002 revised lectures 13

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2852, Issue , 2003, Pages

  De Boer, Frank S ^a   Bonsangue, Marcello M ^b   Graf, Susanne ^c   De Roever, Willem Paul ^d  

^a CWI   (Netherlands)

^b LEIDEN UNIVERSITY   (Netherlands)

^c VERIMAG   (France)

^d UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 13144258346     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (0)