@incollection{vandenBos2022,
author="van den Bos, Petra
and Huisman, Marieke",
editor="Jansen, Nils
and Stoelinga, Mari{\"e}lle
and van den Bos, Petra",
title="The Integration of Testing and Program Verification",
booktitle="A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday",
year="2022",
publisher="Springer Nature Switzerland",
address="Cham",
pages="524--538",
doi="10.1007/978-3-031-15629-8_28",
url="https://doi.org/10.1007/978-3-031-15629-8_28"
}

{"_id":"XNLL5EStLYDjfKcYG","bibbaseid":"vandenbos-huisman-theintegrationoftestingandprogramverification-2022","author_short":["van den Bos, P.","Huisman, M."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":["van","den"],"lastnames":["Bos"],"firstnames":["Petra"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Jansen"],"firstnames":["Nils"],"suffixes":[]},{"propositions":[],"lastnames":["Stoelinga"],"firstnames":["Mariëlle"],"suffixes":[]},{"propositions":["van","den"],"lastnames":["Bos"],"firstnames":["Petra"],"suffixes":[]}],"title":"The Integration of Testing and Program Verification","booktitle":"A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday","year":"2022","publisher":"Springer Nature Switzerland","address":"Cham","pages":"524–538","doi":"10.1007/978-3-031-15629-8_28","url":"https://doi.org/10.1007/978-3-031-15629-8_28","bibtex":"@incollection{vandenBos2022,\nauthor=\"van den Bos, Petra\nand Huisman, Marieke\",\neditor=\"Jansen, Nils\nand Stoelinga, Mari{\\\"e}lle\nand van den Bos, Petra\",\ntitle=\"The Integration of Testing and Program Verification\",\nbooktitle=\"A Journey from Process Algebra via Timed Automata to Model Learning : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday\",\nyear=\"2022\",\npublisher=\"Springer Nature Switzerland\",\naddress=\"Cham\",\npages=\"524--538\",\ndoi=\"10.1007/978-3-031-15629-8_28\",\nurl=\"https://doi.org/10.1007/978-3-031-15629-8_28\"\n}\n\n","author_short":["van den Bos, P.","Huisman, M."],"editor_short":["Jansen, N.","Stoelinga, M.","van den Bos, P."],"key":"vandenBos2022","id":"vandenBos2022","bibbaseid":"vandenbos-huisman-theintegrationoftestingandprogramverification-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-15629-8_28"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"incollection","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["integration","testing","program","verification","van den bos","huisman"],"title":"The Integration of Testing and Program Verification","year":2022}