herd7

MaRDI QIDQ39534swMATHFDO

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