Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /

Bibliographic Details
Corporate Author: FOSSACS York, UK
Other Authors: Alfaro, Luca de, 1966- (ed.)
Format: Conference Proceeding Book
Language:English
Published: New York : Springer, 2009.
Series:Lecture notes in computer science, v. 5504
LNCS ; v. 5504
Subjects: