Formal Verification of Interactive Computing Systems: Opportunities, Challenges.

Jos Creissac Campos, Michael D. Harrison

Browse the full EICS paper archive.