Model Checking RAISE Applicative Specifications.

Juan Ignacio Perna, Chris George

Browse the full SEFM paper archive.