На данной странице предаставлены все книги автора «Sandrine Blazy»
Verified Software. Theories, Tools, and Experiments. 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17.18, 2016, Revised Selected Papers (Sandrine Blazy,Marsha Chechik)