Login

Publication

Detail

Publication date: 27/05/2018

A static verification framework for message passing in Go using behavioural types

Authors

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida,
URL https://dl.acm.org/doi/10.1145/3180155.3180157
Publisher ACM
Book title International Conference on Software Engineering (ICSE 2018)
URL https://dl.acm.org/doi/10.1145/3180155.3180157
Publisher ACM
Book title International Conference on Software Engineering (ICSE 2018)