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 - International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2010 : Bertinoro, Italy); Aldini, Alessandro; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Formal methods (Computer science) -- Congresses; Programming languages (Electronic computers) -- Congresses; Computer Science; Software Engineering/Programming and Operating Systems; Antibodies; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Information Systems Applications (incl.Internet); Software Engineering