%0 Journal Article %1 journals/jfp/PerezN20 %A Perez, Ivan %A Nilsson, Henrik %D 2020 %J J. Funct. Program. %K dblp %P e28 %T Runtime verification and validation of functional reactive systems. %U http://dblp.uni-trier.de/db/journals/jfp/jfp30.html#PerezN20 %V 30

@article{journals/jfp/PerezN20, added-at = {2020-09-19T00:00:00.000+0200}, author = {Perez, Ivan and Nilsson, Henrik}, biburl = {https://www.bibsonomy.org/bibtex/2ae27f7990c71e2e7b63c82a9dc5d08ea/dblp}, ee = {https://doi.org/10.1017/S0956796820000210}, interhash = {2dc2f503ef73a96752c76c70faee5127}, intrahash = {ae27f7990c71e2e7b63c82a9dc5d08ea}, journal = {J. Funct. Program.}, keywords = {dblp}, pages = {e28}, timestamp = {2020-09-20T11:37:52.000+0200}, title = {Runtime verification and validation of functional reactive systems.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp30.html#PerezN20}, volume = 30, year = 2020 }