Search

Your search keyword '"Lin, Yu-Yang"' showing total 4 results
Start Over Author "Lin, Yu-Yang" Publisher springer international publishing
4 results on '"Lin, Yu-Yang"'

1. From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques

Author

Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Fisman, Dana, editor, and Rosu, Grigore, editor

Published
2022
Full Text
View/download PDF

3. A Bounded Model Checking Technique for Higher-Order Programs

Author

Lin, Yu-Yang, Tzevelekos, Nikos, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Guan, Nan, editor, Katoen, Joost-Pieter, editor, and Sun, Jun, editor

Published
2019
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results