Languages
VSTTE (Conference) (2023 :)
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Verified software. theories, tools and experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
by:
VSTTE (Conference) (2023 :); Reynolds, Andrew.; Tasiran, Serdar.; SpringerLink (Online service)
(Electronic resources)