%0 Journal Article %1 journals/afp/Spichkova13 %A Spichkova, Maria %D 2013 %J Archive of Formal Proofs %K dblp %T Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. %U http://dblp.uni-trier.de/db/journals/afp/afp2013.html#Spichkova13 %V 2013

@article{journals/afp/Spichkova13, added-at = {2019-01-07T00:00:00.000+0100}, author = {Spichkova, Maria}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25c3aa0299c78a97ce51e8739d89ddef8/dblp}, ee = {https://www.isa-afp.org/entries/FocusStreamsCaseStudies.shtml}, interhash = {d842f9d5da8fb48bb8a6019eda84fcc6}, intrahash = {5c3aa0299c78a97ce51e8739d89ddef8}, journal = {Archive of Formal Proofs}, keywords = {dblp}, timestamp = {2019-09-27T11:28:47.000+0200}, title = {Stream Processing Components: Isabelle/HOL Formalisation and Case Studies.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2013.html#Spichkova13}, volume = 2013, year = 2013 }