herd7

swMATH27820MaRDI QIDQ39534FDOQ39534

Author name not available (Why is that?)

Official website: http://diy.inria.fr/doc/herd.html

Cited In (5)

• CppMem
• diy7
• HaNS
• miTLS
• Engineering with logic. Rigorous test-oracle specification and validation for TCP/IP and the sockets API

This page was built for software: herd7