Skip to main content

AbSolute: From Static Analyzer to Constraint Solver

SCS Seminar

Time: Tue 2018-09-04 10.00 - 11.00

Location: ADA room, Floor 4, Elevator A, Electrum, Kista

Participating: Marie Pelleau

Export to calendar

For more information, visit the seminar's page . 

Page responsible:Web editors at EECS
Belongs to: Software and Computer Systems
Last changed: Dec 17, 2018