Extending MKM Formats at the Statement Level.

Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe

Browse the full AISC paper archive.