Normal view
MARC view
Computer logic Congresses (Topical Term)
Machine generated authority record.
Work cat.: (OSt)274089: Tests and proofs : 11th international conference proceedings, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19–20, 2017, 2017