Search results for: Christiano O. Braga
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 262-277
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 262-277