Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures - Aldini, Alessandro; Bernardo, Marco; Pierro, Alessandra; Wiklicky, Herbert; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science; Monoclonal antibodies; Software engineering; Information systems; Computer Science; Software Engineering; Software Engineering/Programming and Operating Systems; Antibodies; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Information Systems Applications (incl.Internet).