G.: A language-based approach for improving the robustness of network application protocol implementations (2007)

by L Burgy, L Reveillere, J L Lawall, Muller
Venue:In: Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems (SRDS’07