APA (7th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems < 2010, Bertinoro, Italy>. (2010). 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. Springer.

Chicago Style (17th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems < 2010, Bertinoro, Italy>. 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. Berlin: Springer, 2010.

MLA (9th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems < 2010, Bertinoro, Italy>. 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. Springer, 2010.