Back to Search Start Over

Goal−directed Weakening of Abstract Interpretation Results

Authors :
Sunae Seo
Hongseok Yang
Kwangkeun Yi
Taisook Han
Publication Year :
2016

Details

Database :
OpenAIRE
Accession number :
edsair.dedup.wf.001..ab50e1cf032b4003e74db31e74c7ad8c

Tools

Authors Abstract Subjects Details