[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 ||
Clarke, Edmund, Virbitskaite, Irina, Voronkov, AndreiVolume:
10.1007/97
Year:
2012
Language:
english
DOI:
10.1007/978-3-642-29709-0
File:
PDF, 5.78 MB
english, 2012