Resource-based verification for robust composition of aspects / Pascal Eugène Alois Dürr
mainEntity
Resource-based verification for robust composition of aspects / Pascal Eugène Alois Dürr
hasDerivative
author
description
Proefschrift Universiteit Twente, Enschede
inLanguage
isbn
9789036526852
mainEntityOfPage
name
Resource-based verification for robust composition of aspects
numberOfPages
publication
sameAs
label
Resource-based verification fo ...... s / Pascal Eugène Alois Dürr