|
Searching ... |
0 % | |||
Program Logics for Certified Compilers(1st Edition) by Andrew W. Appel, Aquinas Hobor, Robert Dockins, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy Hardcover, 472 Pages, Published 2014 by Cambridge University Press ISBN-13: 978-1-107-04801-0, ISBN: 1-107-04801-X |
Verified Software. Theories, Tools, and Experiments(1st Edition) 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science) by Sandrine Blazy, Marsha Chechik Paperback, 216 Pages, Published 2016 by Springer ISBN-13: 978-3-319-48868-4, ISBN: 3-319-48868-6 |
Static Analysis(1st Edition) 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science) by Sandrine Blazy, Thomas Jensen Paperback, 352 Pages, Published 2015 by Springer ISBN-13: 978-3-662-48287-2, ISBN: 3-662-48287-8 |
Sémantiques formelles Vérification formelle de propriétés sémantiques des langages de programmation (Omn.Univ.Europ.) (French Edition) by Sandrine Blazy Paperback, 132 Pages, Published 2010 by Editions Universitaires Europeennes ISBN-13: 978-613-1-52995-5, ISBN: 613-1-52995-7 |
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science) by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, Sandrine Blazy And Paperback, 498 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39633-5, ISBN: 3-642-39633-X |
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers by Sandrine Blazy, Marsha Chechik 199 Pages, Published 2016 by Springer ISBN-13: 978-3-319-48869-1, ISBN: 3-319-48869-4 |
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings by Sandrine Blazy, Thomas Jensen 333 Pages, Published 2015 by Springer ISBN-13: 978-3-662-48288-9, ISBN: 3-662-48288-6 |
Lecture Notes in Computer Science Ser. Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie 498 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39634-2, ISBN: 3-642-39634-8 |
Sandrine Blazy