A static verification framework for message passing in Go using behavioural types. / Lange, Julien; Ng, Nicholas; Toninho, Bernardo; Yoshida, Nobuko.

Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. IEEE Computer Society, 2018. p. 1137-1148 (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationProceedings of the 40th International Conference on Software Engineering, ICSE 2018
PublisherIEEE Computer Society
Pages1137-1148
Number of pages12
ISBN (Electronic)9781450356381
DOIs
Publication statusPublished - 27 May 2018
Event40th International Conference on Software Engineering, ICSE 2018 - Gothenburg, Sweden
Duration: 27 May 20183 Jun 2018

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Conference

Conference40th International Conference on Software Engineering, ICSE 2018
CountrySweden
CityGothenburg
Period27/05/183/06/18
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39128740