Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

First Page		Document Content
Date: 2011-06-15 23:12:41		Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi Add to Reading List Source URL: www.cs.tsukuba.ac.jp Download Document from Source Website File Size: 224,68 KB Share Document on Facebook