Back to Results
First PageMeta Content



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

Document Date: 2011-06-15 23:12:41


Open Document

File Size: 224,68 KB

Share Result on Facebook
UPDATE