R
Radu Calinescu
6 works on record
Works

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Software Engineering and Formal Methods

Software Engineering for Resilient Systems

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Large-Scale Complex IT Systems. Development, Operation and Management

Foundations of Computer Software