Snowflake: Supporting Programming and Proofs.

Oluwatobi Alabi, Anh Vu, Peter-Michael Osera

Browse the full SIGCSE paper archive.