Title: Formal methods for quantitative aspects of programming languages
Subjects: Congresses, Programmiersprache, Formale Methode, Formal methods (Computer science), Programmanalyse, Programming languages (Electronic computers), Computer science, Web services, Internet
Places: Bertinoro <2010>