Formal Methods for Quantitative Aspects of Programming Languages - Aldini, Alessandro; Bernardo, Marco; Kanade, Takeo; Pierro, Alessandra; Wiklicky, Herbert; Di Pierro, Alessandra (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Software Engineering