KRoC
From MaRDI portal
Software:17611
No author found.
Related Items (3)
Unnamed Item ⋮ The symbiosis of concurrency and verification: teaching and case studies ⋮ Communicating Sequential Processes. The First 25 Years
This page was built for software: KRoC
