[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Mechanized Information Flow Analysis through Inductive Assertions
Hunt Jr., Warren A., Krug, Robert Bellarmine, Ray, Sandip, Young, William D.Year:
2008
Language:
english
DOI:
10.1109/fmcad.2008.ecp.33
File:
PDF, 128 KB
english, 2008