Jérôme Leroux (auth.)

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2013 · ENGLISH · PDF

View details →