%0 Conference Paper %1 conf/icse/LangeNTY18 %A Lange, Julien %A Ng, Nicholas %A Toninho, Bernardo %A Yoshida, Nobuko %B ICSE %D 2018 %E Chaudron, Michel %E Crnkovic, Ivica %E Chechik, Marsha %E Harman, Mark %I ACM %K dblp %P 1137-1148 %T A static verification framework for message passing in Go using behavioural types. %U http://dblp.uni-trier.de/db/conf/icse/icse2018.html#LangeNTY18 %@ 978-1-4503-5638-1

@inproceedings{conf/icse/LangeNTY18, added-at = {2024-05-07T00:00:00.000+0200}, author = {Lange, Julien and Ng, Nicholas and Toninho, Bernardo and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/2adf52b3b859841be71168d8dddfdc607/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2018}, editor = {Chaudron, Michel and Crnkovic, Ivica and Chechik, Marsha and Harman, Mark}, ee = {https://ieeexplore.ieee.org/document/8453195}, interhash = {acdbd715c96c124d1b364d03d8dbb0db}, intrahash = {adf52b3b859841be71168d8dddfdc607}, isbn = {978-1-4503-5638-1}, keywords = {dblp}, pages = {1137-1148}, publisher = {ACM}, timestamp = {2024-05-13T08:26:13.000+0200}, title = {A static verification framework for message passing in Go using behavioural types.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2018.html#LangeNTY18}, year = 2018 }