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
associatedMedia
<http://dx.doi.org/10.3990/1.9789036526852>
author
bookFormat
description
Proefschrift Universiteit Twente, Enschede
inLanguage
mainEntityOfPage
name
Resource-based verification for robust composition of aspects
publication
label
Resource-based verification fo ...... s / Pascal Eugène Alois Dürr