Publications

A Generalized Approach to Verification Condition Generation

AuthID
P-00P-KAE

Author(s)

Nakajima, S

Editor(s)

Sorel Reisman; Sheikh Iqbal Ahamed; Claudio Demartini; Thomas M. Conte; Ling Liu 0001; William R. Claycomb; Motonori Nakamura; Edmundo Tovar; Stelvio Cimato; Chung-Horng Lung; Hiroki Takakura; Ji-Jiang Yang; Toyokazu Akiyama; Zhiyong Zhang 0002; Kamrul Hasan

Document Type

Proceedings Paper

Year published

2018

Published

in 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 1 in COMPSAC (1), ISSN: 0730-3157

Volume: 1, Pages: 194-203

Conference

42Nd Ieee Computer Software and Applications Conference, Compsac 2018, Date: 23 July 2018 through 27 July 2018

Indexing