TY - BOOK AU - Seidl, Helmut, Ed. TI - Foundations of software science and computational structures: 10th international conference, FOSSACS 2007 held as part of the joint European conferences on theory and practice of software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 proceedings SN - 9783540713883 CY - Berlin ER -