Search results for: Tomohiro Yoneda
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 229-244
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 426-440
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 59-73
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 339-353
Lecture Notes in Computer Science
Science of Computer Programming > 2016 > 118 > C > 24-39