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 KobayashiAdd to Reading ListSource URL: www.cs.tsukuba.ac.jpDownload Document from Source WebsiteFile Size: 224,68 KBShare Document on Facebook |