Cyber-Physical Security for Critical Infrastructures Protection : First International Workshop,CPS4CIP 2020, Guildford, UK, September 18, 2020, Revis
Fundamental Approaches to Software Engineering : 24th International Conference,FASE 2021, Held as Part of the European Joint Conferences on Theory an
Programming Languages and Systems : 30th European Symposium on Programming,ESOP 2021, Held as Part of the European Joint Conferences on Theory and Pr
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop,GKR 2020, Virtual Event, September 5, 2020, Revised Selected
Preparing for Digital Disruption
Agile Processes in Software Engineering and Extreme Programming : 22nd International Conference on Agile Software Development,XP 2021, Virtual Event
The Once-Only Principle : The TOOP Project
Computer Aided Verification : 33rd International Conference,CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Computer Aided Verification : 33rd International Conference,CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Brain-Inspired Computing : 4th International Workshop,BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers
Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2021 Workshops,Virtual Event, June 14-18, 2021, Revised Selected Pap
From Access to SQL Server
