Languages
Aichernig, Bernhard K.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
Aichernig, Bernhard K.; Clark Conference ((2005 :); Furia, Carlo A.; SpringerLink (Online service)
(Electronic resources)