1
Software Engineering and Formal Methods [E-Book] : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings /
Other Personal Name(s): “...Calinescu, Radu...”

Full text 
Favorites
Saved in:
2
Software Engineering and Formal Methods [E-Book] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers /
Other Personal Name(s): “...Calinescu, Radu...”

Full text 
Favorites
Saved in:
3
Software Engineering and Formal Methods [E-Book] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
Other Personal Name(s): “...Calinescu, Radu....”

Full text 
Favorites
Saved in:
4
Large-Scale Complex IT Systems. Development, Operation and Management [E-Book]: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /
Other Personal Name(s): “...Calinescu, Radu....”

Full text 
Favorites
Saved in:
5
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [E-Book] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers /
Other Personal Name(s): “...Calinescu, Radu....”

Full text 
Favorites
Saved in: