Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
JTDec: A Tool for Tree Decompositions in Soot
Krishnendu Chatterjee
,
Amir Kafshdar Goharshady
,
Andreas Pavlogiannis
October 2017
PDF
Published version
Artifact
Type
Conference paper
Publication
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Cite
×