A tool for assisting the understanding and formal development of software.

Salwa K. Abd-El-Hafiz, Victor R. Basili

Browse the full SEKE paper archive.