Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Formal Methods for Quantitative Aspects of Programming Languages - 2010
978-3-642-13678-8
Antibodies
Immunology
Mathematical Logic and Formal Languages
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science
Formal Methods for Quantitative Aspects of Programming Languages - 2010
978-3-642-13678-8
Antibodies
Immunology
Mathematical Logic and Formal Languages
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science