Protocols, Strands, and Logic
Protocols, Strands, and Logic
Daniel Dougherty
,
Sebastian Alexander Mödersheim
,
Paul Rowe
,
José Meseguer
Details
OL Work ID
OL26524526W
Find this book
Open Library