STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Cristina Seceleanu | lit.salon
Cristina Seceleanu
No bio available.
Add one in Open Library.
Books by Cristina Seceleanu (50 max)
+ shelf
+ list
Critical Systems : Formal Methods and Automated Verification
2017
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
+ shelf
+ list
CyberSecurity in a DevOps Environment: From Requirements to Monitoring
2023
Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu
+ shelf
+ list
Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
2023
Jan Kofroň, Tiziana Margaria, Cristina Seceleanu
+ shelf
+ list
Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
2023
Virgile Prevosto, Cristina Seceleanu
