Wies, Thomas.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
Wies, Thomas.; Paskevich, Andrei.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings /
by:
Wies, Thomas.; Finkbeiner, Bernd.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer networks .
Artificial intelligence.
Computer Communication Networks.
Simulation and Modeling.
Computer science.
Theory of Computation.
The Computing Profession.
Computer Science.
Compilers (Computer programs)
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Foundations.
Computer software