Wies, Thomas.
Overview
| Works: | 4 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Verified softwaretheories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(1998 :); Paskevich, Andrei.; SpringerLink (Online service); Wies, Thomas.
(Electronic resources)
Verification, model checking, and abstract interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings /
by:
(1998 :); Finkbeiner, Bernd.; SpringerLink (Online service); Wies, Thomas.
(Electronic resources)
Programming languages and systems32nd European Symposium on programming, Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings /
by:
(1998 :); SpringerLink (Online service); Wies, Thomas.
(Electronic resources)
Networked systems11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023 : proceedings /
by:
(1998 :); Mohaisen, David.; SpringerLink (Online service); Wies, Thomas.
(Electronic resources)
Subjects
Software Engineering.
Theory of Computation.
Software engineering
Mathematical Logic and Foundations.
Compilers (Computer programs)
Computer software
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Wireless communication systems
The Computing Profession.
Artificial Intelligence.
Computer Science.
Simulation and Modeling.
Computer Communication Networks.
Computer networks
Cloud computing
Compilers and Interpreters.
Mobile computing