-
1
Verified software: theories, tools and experiments 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers
Veröffentlicht 2016Weitere Verfasser: “… Blazy, Sandrine …”
Tagungsbericht Buch -
2
Verified software : theories, tools, and experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016 : revised selected papers
Veröffentlicht 2016Weitere Verfasser: “… Blazy, Sandrine …”
VolltextElektronisch Tagungsbericht E-Book -
3
Static analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, proceedings
Veröffentlicht 2015Weitere Verfasser: “… Blazy, Sandrine …”
VolltextElektronisch Tagungsbericht E-Book