[go: up one dir, main page]

"Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, ..."

Margus Veanes, Luca Viganò (2013)

Details and statistics

DOI: 10.1007/978-3-642-38916-0

access: closed

type: Editorship

metadata version: 2020-06-23