Berdine, Josh
Berdine, Josh, chercheur en informatique
VIAF ID: 305030184 ( Personal )
Permalink: http://viaf.org/viaf/305030184
Preferred Forms
-
-
- 100 1 _ ‡a Berdine, Josh
- 100 1 _ ‡a Berdine, Josh
- 100 1 _ ‡a Berdine, Josh, ‡c chercheur en informatique
Works
Title | Sources |
---|---|
Verification, model checking, and abstract interpretation: 14th international conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings |