На данной странице предаставлены все книги автора «Marsha Chechik»
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)