%0 Conference Paper %1 conf/aplas/KojimaI13 %A Kojima, Kensuke %A Igarashi, Atsushi %B APLAS %D 2013 %E chieh Shan, Chung %I Springer %K dblp %P 58-73 %T A Hoare Logic for SIMT Programs. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2013.html#KojimaI13 %V 8301 %@ 978-3-319-03541-3

@inproceedings{conf/aplas/KojimaI13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Kojima, Kensuke and Igarashi, Atsushi}, biburl = {https://www.bibsonomy.org/bibtex/28b8d7198fca3a9e8cab2627b5c17d037/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2013}, editor = {chieh Shan, Chung}, ee = {https://doi.org/10.1007/978-3-319-03542-0_5}, interhash = {19cc62d1f0fd4cd61f0587f7bb8a2a86}, intrahash = {8b8d7198fca3a9e8cab2627b5c17d037}, isbn = {978-3-319-03541-3}, keywords = {dblp}, pages = {58-73}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:42:01.000+0200}, title = {A Hoare Logic for SIMT Programs.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2013.html#KojimaI13}, volume = 8301, year = 2013 }