Alessandra Di Pierro

Books by Alessandra Di Pierro

Total count: 3

• Formal Methods for Quantitative Aspects of Programming Languages10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

  Springer London, Limited2010-01-01
• 
  Formal Methods for Dynamical Systems13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures

  Springer2013-06-09
• 
  From Lambda Calculus to Cybersecurity Through Program AnalysisEssays Dedicated to Chris Hankin on the Occasion of His Retirement

  Springer2020-02-15