Capturing System Designs with Formal Executable Specifications.

Jos Meseguer

Browse the full FASE paper archive.