Cover von Summary-Based Inter-Procedural Analysis via Modular Trace Refinement opens in new tab

Summary-Based Inter-Procedural Analysis via Modular Trace Refinement

Year: 2014
Media group: LIPIcs

Details

Search for this author
Year: 2014
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 545-556
Participating parties: Search for this character Cassez, Franck; Müller, Christian; Burnett, Karla
Media group: LIPIcs