Search results for: Sukyoung Ryu
Software: Practice and Experience > 50 > 7 > 1061 - 1086
Software: Practice and Experience > 49 > 5 > 840 - 884
Software: Practice and Experience > 48 > 4 > 911 - 944
Lecture Notes in Computer Science > Static Analysis > 98-113
Lecture Notes in Computer Science > Certified Programs and Proofs > Session 8: Programming Languages > 264-279
Empirical Software Engineering > 2016 > 21 > 2 > 517-564
Science of Computer Programming > 2010 > 75 > 9 > 787-795
Theoretical Computer Science > 2002 > 277 > 1-2 > 185-217