%0 Conference Paper %1 conf/icse/VivoF23 %A Vivo, Domenico De %A Fasolino, Anna Rita %B SBFT %D 2023 %I IEEE %K dblp %P 39-40 %T Spirale at the SBFT 2023 Tool Competiton - Cyber-Physical Systems Track. %U http://dblp.uni-trier.de/db/conf/icse/sbft2023.html#VivoF23 %@ 979-8-3503-0182-3

@inproceedings{conf/icse/VivoF23, added-at = {2023-08-02T00:00:00.000+0200}, author = {Vivo, Domenico De and Fasolino, Anna Rita}, biburl = {https://www.bibsonomy.org/bibtex/29412dc5fb851b0fa648cea1cbc996389/dblp}, booktitle = {SBFT}, crossref = {conf/icse/2023sbft}, ee = {https://doi.org/10.1109/SBFT59156.2023.00007}, interhash = {3c0938fd5f4192ffd20e7911518f47a0}, intrahash = {9412dc5fb851b0fa648cea1cbc996389}, isbn = {979-8-3503-0182-3}, keywords = {dblp}, pages = {39-40}, publisher = {IEEE}, timestamp = {2024-04-10T00:11:18.000+0200}, title = {Spirale at the SBFT 2023 Tool Competiton - Cyber-Physical Systems Track.}, url = {http://dblp.uni-trier.de/db/conf/icse/sbft2023.html#VivoF23}, year = 2023 }