Thomas Wies
associate professor
Department of Science and technology
Institute of Science and Technology Austria
Austria
Biography
"Associate professor in the Department of Science and Technology at Institute of Science and Technology Austria "
Research Interest
Science and technology
Publications
-
Berdine,Josh, Calcagno,Cristiano, Cook,Byron, Distefano,Dino, O'Hearn,Peter W. (2007). Shape Analysis for Composite Data Structures. In Computer Aided Verification (CAV) 2007. CAV: Computer Aided Verification, (178-192).Springer.
