Protocols, Strands, and Logic
de Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe
Ediciones (1)
- Protocols, Strands, and Logic (2022)
Springer International Publishing AG · inglés · ISBN 9783030916305
de Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe
Springer International Publishing AG · inglés · ISBN 9783030916305