Search alternatives:
austria » australia
Cover Image
Read Now

1
Published 2014
Springer International Publishing
“... Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014...”