Normale Ansicht
MARC
ATVA 12. 2014 Sydney (Kongressname)
Verwendet für/Siehe auch:
- International Symposium on Automated Technology for Verification and Analysis 12. 2014 Sydney
Homepage http://atva-conferences.org/
Homepage http://atva-conferences.org/