Verifying Concurrent Programs Using Contracts

AuthID
P-00X-9MZ
Tipo de Documento
Proceedings Paper
Year published
2017
Publicado
in Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
Páginas: 196-206 (10)
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85020731519
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.