Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)

Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariƫlle Stoelinga. Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Dagstuhl Reports, 2(12):64-88, 2012. [doi]

Bibliographies