Extraction of Strong Typing Laws from Action Semantics Definitions.

Kyung-Goo Doh, David A. Schmidt

Browse the full ESOP paper archive.