GSOS Formalized in Coq.

Ken Madlener, Sjaak Smetsers

Browse the full TASE paper archive.