Author

Keiichi Yasumoto

1 book found

Cover of Formal Techniques for Networked and Distributed Systems - FORTE 2008

Formal Techniques for Networked and Distributed Systems - FORTE 2008

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih · First published 2008