[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 ||
Pnueli, Amir, Virbitskaite, Irina, Voronkov, AndreiVolume:
10.1007/97
Year:
2010
Language:
english
DOI:
10.1007/978-3-642-11486-1
File:
PDF, 9.40 MB
english, 2010