Search results for: Yoichi Hirai
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 272-289
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 350-365
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 272-289
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 350-365