Hosted by:
Co-Hosted by:
Special Participant:
Sponsored by:
Related Organizations
Inquiry
Workshop on Industrial Applications of Formal Methods
| Chairs | Fumihiro Kumeno (National Institute of Informatics, Japan) | |
|---|---|---|
| Hironobu Kuruma (Systems Development Laboratory, Hitachi, Ltd.) | ||
| Fuyuki Ishikawa (National Institute of Informatics, Japan) | ||
| Kenji Taguchi (National Institute of Informatics, Japan) | ||
copyright(c) 2009 GRACE Center, National Institute of Informatics, Japan.
