Languages
VMCAI (Conference) (2022 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Verification, model checking, and abstract interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings /
by:
VMCAI (Conference) (2022 :); Finkbeiner, Bernd.; Wies, Thomas.; SpringerLink (Online service)
(Electronic resources)