%0 Conference Paper %1 conf/facs2/CuyckAT24 %A van Cuyck, Gijs %A van Arragon, Lars %A Tretmans, Jan %B FACS %D 2024 %E Marmsoler, Diego %E Sun, Meng %I Springer %K dblp %P 39-56 %T Testing Compositionality. %U http://dblp.uni-trier.de/db/conf/facs2/facs2024.html#CuyckAT24 %V 15189 %@ 978-3-031-71261-6

@inproceedings{conf/facs2/CuyckAT24, added-at = {2024-09-18T00:00:00.000+0200}, author = {van Cuyck, Gijs and van Arragon, Lars and Tretmans, Jan}, biburl = {https://www.bibsonomy.org/bibtex/286568ee99a80411d62790f9fae892562/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2024}, editor = {Marmsoler, Diego and Sun, Meng}, ee = {https://doi.org/10.1007/978-3-031-71261-6_3}, interhash = {18b85e1935e00b4c0dc74e5c74acd261}, intrahash = {86568ee99a80411d62790f9fae892562}, isbn = {978-3-031-71261-6}, keywords = {dblp}, pages = {39-56}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-09-23T07:12:39.000+0200}, title = {Testing Compositionality.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2024.html#CuyckAT24}, volume = 15189, year = 2024 }