Foundations of Computer Software More Books by Radu Calinescu & Ethan Jackson

Software Engineering and Formal Methods

2021

Software Engineering for Resilient Systems

2019

Software Engineering and Formal Methods

2016

Software Engineering and Formal Methods

2015