Modal Transition Systems: A Foundation for Three-Valued Program Analysis.

Michael Huth, Radha Jagadeesan, David A. Schmidt

Browse the full ESOP paper archive.