Robert Sandner, Olaf Müller. Theorem Prover Support for the Refinement of Stream Processing Functions. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 351-365, Springer, 1997.
@inproceedings{SandnerM97,
title = {Theorem Prover Support for the Refinement of Stream Processing Functions},
author = {Robert Sandner and Olaf Müller},
year = {1997},
tags = {refinement, stream processing},
researchr = {https://researchr.org/publication/SandnerM97},
cites = {0},
citedby = {0},
pages = {351-365},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings},
editor = {Ed Brinksma},
volume = {1217},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-62790-1},
}