RSS Meetups are monthly gatherings of LASIGE members with interests in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, Formal methods and other topics.
Title: JaVerT 2.0: Compositional Symbolic Execution for JavaScript
Presenter: José Fragoso Santos (Imperial College London)