Proc. 11th International Conference on Tests and Proofs (TAP 2017)

Sebastian Gabmeyer, Einar Broch Johnsen, (Eds)
July, 2017
Cite DOI
Type
Edited volume
Publication
LNCS 10375. © Springer 2017.
Einar Broch Johnsen
Einar Broch Johnsen
Professor