![](/img/cover-not-exists.png)
[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Building a Body of Knowledge on Model Checking for Software Development
Taguchi, Kenji, Nishihara, Hideaki, Aoki, Toshiaki, Kumeno, Fumihiro, Hayamizu, Koji, Shinozaki, KoichiYear:
2013
Language:
english
DOI:
10.1109/compsac.2013.129
File:
PDF, 139 KB
english, 2013