Software Engineering and Formal Methods More Books by Radu Calinescu & Corina S. Păsăreanu

Software Engineering for Resilient Systems Software Engineering for Resilient Systems
Software Engineering for Resilient Systems
2019
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2016
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2015
Foundations of Computer Software Foundations of Computer Software
Foundations of Computer Software
2011