Christakis, Maria.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Software Verification = 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers /
by:
Christakis, Maria.; Schrammel, Peter.; Polikarpova, Nadia.; Duggirala, Parasara Sridhar.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]