Static analysis : 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019 : proceedings

Veröffentlicht 2019

Programming languages and systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings

Veröffentlicht 2017

Selectively-Amortized Resource Bounding

von Lu, Tianhan
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)