Towards Semi-Automatic Model Specification.

David Shuttleworth, Jose J. Padilla

Browse the full WSC paper archive.