Normal view
MARC view
Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe(Personal Name)
Machine generated authority record
Work cat.: (OSt)1659521: Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe, Protocols, Strands, and Logic