|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Static Verification for Web Scripting Languages
If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.
This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
This talk is part of the Microsoft Research Cambridge, public talks series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsMartin Centre Research Seminar Series - Celebrating the Centenary of the Department of Architecture Axonal degeneration and repair: plasticity and stem cells Technology Enterprise Group Seminar Series
Other talksHeat Transfer Enhancement using Porous Media: effect of local-thermal non-equilibrium condition and thermal radiation Paranoid Masculinities: Conspiracy Theory in Mark Twain's Fiction Nausea in New York: The FBI and CIA vs Sartre and Camus " Regulating gene expression through the mRNA cap” “How does natural selection shape development?” Inferno XXVI, Purgatorio XXVI, Paradiso XXVI