|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 listsCambridge University Somali Society (CUSOMSOC) Seminars at the Department of Biochemistry Society of Biology
Other talksUnderstanding and manipulating cell fate Complex Analysis — Simplified! White Lies and Alibis: Litigants, Lawyers and Law in Fourteenth-Century York Marriage Disputes Resolving genomes from metagenomic strain mixtures with 3C & Hi-C. Is it possible? Synthetic, Bioorganic and Medicinal Chemistry in the Smith Group at the University of Pennsylvania Explorations in structural and functional compensation: Examples from aphasia and dyslexia