An experiment in making a LOTOS verifier / Peter van Eijk
mainEntity
An experiment in making a LOTOS verifier / Peter van Eijk
about
author
inLanguage
isbn
9036500982
mainEntityOfPage
name
An experiment in making a LOTOS verifier
numberOfPages
publication
sameAs
label
An experiment in making a LOTOS verifier / Peter van Eijk