Software Engineering and Formal Methods (2015)
ComputersThis book constitutes the refereed proceedings of the 13th International Conference on Software Engi…
Radu Calinescu
Radu Calinescu is represented on Book-Sharing with 5 books, especially in Computers. Popular entries include Software Engineering and Formal Methods, Large-Scale Complex IT Systems. Development, Operation and Management.
Large-Scale Complex IT Systems. Development, Operation and Management (2012)
ComputersThis book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Montere…
Foundations of Computer Software (2011)
ComputersThis book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Montere…
Software Engineering and Formal Methods (2021)
ComputersThis book constitutes the refereed proceedings of the 19th International Conference on Software Engi…
Software Engineering for Resilient Systems (2019)
ComputersThis book constitutes the refereed proceedings of the 11th International Workshop on Software Engine…