Fundamental approaches to software engineering 26th International Conference, FASE 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Volltext öffnen

Tools and algorithms for the construction and analysis of systems 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice o...

Volltext öffnen

Fundamental approaches to software engineering 21st International Conference, FASE 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2...

Volltext öffnen

Foundations of software science and computation structures 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Sof...

Volltext öffnen

Programming languages and systems 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

Volltext öffnen

Fundamental approaches to software engineering 22nd international conference, FASE 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2...

Volltext öffnen

Principles of security and trust 8th international conference, POST 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cz...

Volltext öffnen Volltext öffnen

Foundations of software science and computation structures 22nd international conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Sof...

Volltext öffnen

Programming languages and systems 28th European Symposium on Programming, ESOP 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...

Volltext öffnen Volltext öffnen

Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice o...

Volltext öffnen

Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019 : held as part of the European Joint Conferences on Theory and Practice...

Volltext öffnen

Principles of security and trust 6th International Conference, POST 2017 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, S...

Volltext öffnen Volltext öffnen

Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

Volltext öffnen

Tools and algorithms for the construction and analysis of systems 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice o...

Volltext öffnen

Fundamental approaches to software engineering 25th international conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Volltext öffnen

Foundations of software science and computation structures 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Sof...

Volltext öffnen

Foundations of software science and computation structures 21st International Conference, FOSSACS 2018 : held as part of the European Joint Conferences on Theory and Practice of So...

Volltext öffnen

Principles of security and trust 7th International Conference, POST 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

Volltext öffnen

Programming languages and systems 27th European Symposium on Programming, ESOP 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Volltext öffnen

Foundations of software science and computation structures 20th International Conference, FOSSACS 2017: held as part of the European Joint Conferences on Theory and Practice of Sof...

Volltext öffnen Volltext öffnen