1 paper
Jane Yen, Tamás Lévai, Qinyuan Ye +3
For decades, Internet protocols have been specified using natural language. Given the ambiguity inherent in such text, it is not surprising that protocol implementations have long…