ETH Zürich - Chair of Software Engineering - TAP: Tests And Proofs

Accepted papers

Regular papers

The regular papers have been published by Springer in LNCS 5668.

Short papers

The short papers have been published as ETH Technical Report 630.

top