Theorem Prover Support for the Refinement of Stream Processing Functions (1997)

by R Sandner, O Müller
Venue:In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS’97