Exploiting symmetry in protocol testing / J. Romijn, J.G. Springintveld
mainEntity
Exploiting symmetry in protocol testing / J. Romijn, J.G. Springintveld
about
author
contributor
inLanguage
mainEntityOfPage
name
Exploiting symmetry in protocol testing
numberOfPages
publication
sameAs
label
Exploiting symmetry in protocol testing / J. Romijn, J.G. Springintveld