cotalks.dev

Formal Methods in the Enterprise

(link)
Speakers: David McNeil
Topics: #backend
Channel: Markus Kuppe
note