Yoshiaki Miyazaki

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki
DC2: A framework for scalable, scope-bounded software verification. ASE (2011)