Detail

Publication date: 28 de March, 2022

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

---