It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
Saved in:
| Title: | It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. |
|---|---|
| Authors: | Basin, David1, basin@inf.ethz.ch, Foster, Nate2, jnfoster@cs.cornell.edu, McMillan, Kenneth L.3, kenmcm@cs.utexas.edu, Namjoshi, Kedar S.4, kedar.namjoshi@nokia-bell-labs.com, Nita-Rotaru, Cristina5, c.nitarotaru@northeastern.edu, Smith, Jonathan M.6, jms@seas.upenn.edu, Zave, Pamela7, pamela@pamelazave.com, Zuck, Lenore D.8, zuck@uic.edu |
| Source: | Communications of the ACM; Aug2025, Vol. 68 Issue 8, p50-61, 12p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00010782 |
|---|---|
| DOI: | 10.1145/3706572 |
