Software Verification

Faculty working in this area:

Last Firstsort descending Title Email
Parno Bryan Associate Professor parno@cmu.edu
Yang Jean Assistant Professor jyang2@andrew.cmu.edu
Subscribe to Software Verification