vix.ing · top · new · best · stats · spec

Bor-Yuh Evan Chang

  1. Selectively-Amortized Resource Bounding (Extended Version)
    2021/08/18 by Tianhan Lu, Lu, Tianhan, Bor-Yuh Evan Chang +3 · 1 citation
    Computer Science · Engineering · #Software Testing and Debugging Techniques #Formal Methods in Verification #Radiation Effects in Electronics