Theorem Prover Support for the Refinement of Stream Processing Functions.

Robert Sandner, Olaf Mller

Browse the full TACAS paper archive.