Peron Adriano

Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014

Published with Wowchemy — the free, open source website builder that empowers creators.