Search

Your search keyword '"Yamada, Akihisa"' showing total 13 results

Search Constraints

Start Over You searched for: Author "Yamada, Akihisa" Remove constraint Author: "Yamada, Akihisa" Journal lecture notes in computer science Remove constraint Journal: lecture notes in computer science
13 results on '"Yamada, Akihisa"'

Search Results

Catalog

Books, media, physical & digital resources

4. Relational Differential Dynamic Logic

7. TOOLympics 2019: An Overview of Competitions in Formal Methods

13. AC-KBO Revisited