Normal view
MARC view
Aldini, Alessandro ...[et al.] Editor (Personal Name)
Machine generated authority record.
Work cat.: (OSt)173134: Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 21-26, 2010 (e-book), 2010