Radu Calinescu

No biography available.

Works (4)

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

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

Cover of Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Cover of Software Engineering and Formal Methods

Software Engineering and Formal Methods

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

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