Demonstration: Static Analysis of AKL.

Dan Sahlin, Thomas Sjland

Browse the full SAS paper archive.