Home › Authors › Radu Calinescu 👤 Radu Calinescu 4 books Books by Radu Calinescu Software Engineering for Resilient Systems 2019 Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops 2016 Large-Scale Complex IT Systems. Development, Operation and Management 2012 Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 2011