Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers"