Assertional verification in distributed computing / Anna Adriana Schoone
mainEntity
Assertional verification in distributed computing / Anna Adriana Schoone
author
description
Proefschrift Utrecht
inLanguage
mainEntityOfPage
name
Assertional verification in distributed computing
numberOfPages
publication
sameAs
label
Assertional verification in distributed computing / Anna Adriana Schoone