Search results for: Akinori Yonezawa
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object and Component Orientation > 400-419
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Transformations > 98-114
Lecture Notes in Computer Science > ECOOP’ 87 European Conference on Object-Oriented Programming > 32-40
Lecture Notes in Computer Science > Autonomic and Trusted Computing > Track 1: Autonomic/Organic Computing and Communications > 153-162
Lecture Notes in Computer Science > ECOOP ’88 European Conference on Object-Oriented Programming > 267-282
Lecture Notes in Computer Science > Formal to Practical Security > Formal to Practical Security > 181-197