Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design.

Jos Meseguer

Browse the full MEMOCODE paper archive.