Metadata only
Date
2015Type
- Journal Article
Publication status
publishedJournal / series
Journal of the ACMVolume
Pages
Publisher
Association for Computing MachinerySubject
Automatic structures; Compliance checking; Runtime verification; Security policies; Security policiesOrganisational unit
03634 - Basin, David
Notes
.More
Show all metadata