A static verification framework for message passing in Go using behavioural types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida. A static verification framework for message passing in Go using behavioural types. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 1137-1148, ACM, 2018. [doi]

This author has not been identified. Look up 'Julien Lange' in GoogleThis author has not been identified. Look up 'Nicholas Ng' in GoogleThis author has not been identified. Look up 'Bernardo Toninho' in GoogleThis author has not been identified. Look up 'Nobuko Yoshida' in Google

runs on WebDSL