Find

For students
For PhDs
For employees

Center for Advanced Software Analysis

News

About Bor-Yuh Evan Chang

Link to the paper

Link to the paper

Magnus Madsen at Microsoft Reseach
Asger Feldthaus at IBM Research New York
Simon Holm Jensen at IBM Reseach India
Esben Andreasen and Casper Jensen…

Link to the paper

Link to the paper

02 January 2012

Link to the paper

01 November 2011

02 October 2011

Revised 16.11.2021 -

Sofia Hedegaard Rasmussen