%0 Conference Paper %1 conf/ats/DeligiannisFCC022 %A Deligiannis, Nikolaos Ioannis %A Faller, Tobias %A Condia, Josie E. Rodriguez %A Cantoro, Riccardo %A Becker, Bernd %A Reorda, Matteo Sonza %B ATS %D 2022 %I IEEE %K dblp %P 84-89 %T Using Formal Methods to Support the Development of STLs for GPUs. %U http://dblp.uni-trier.de/db/conf/ats/ats2022.html#DeligiannisFCC022 %@ 978-1-6654-7227-2

@inproceedings{conf/ats/DeligiannisFCC022, added-at = {2024-02-05T00:00:00.000+0100}, author = {Deligiannis, Nikolaos Ioannis and Faller, Tobias and Condia, Josie E. Rodriguez and Cantoro, Riccardo and Becker, Bernd and Reorda, Matteo Sonza}, biburl = {https://www.bibsonomy.org/bibtex/24faffc34dd98dc47938bc23a68e1088b/dblp}, booktitle = {ATS}, crossref = {conf/ats/2022}, ee = {https://doi.org/10.1109/ATS56056.2022.00027}, interhash = {4a2290522f21127d165a5adbf6c30369}, intrahash = {4faffc34dd98dc47938bc23a68e1088b}, isbn = {978-1-6654-7227-2}, keywords = {dblp}, pages = {84-89}, publisher = {IEEE}, timestamp = {2024-04-09T14:13:59.000+0200}, title = {Using Formal Methods to Support the Development of STLs for GPUs.}, url = {http://dblp.uni-trier.de/db/conf/ats/ats2022.html#DeligiannisFCC022}, year = 2022 }