Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings - FOSSACS 2006 (2006 : Vienna, Austria); Aceto, Luca; Ingolfsdottir, Anna; ETAPS 2006 (2006 : Vienna, Austria) (Berlin ; New York : Springer, 2006)
Includes bibliographical references and index
1 10
Keywords: System analysis -- Congresses