Event name
Microsoft Research Lecture
 
Event type
Event for scientific audience
 
Start date
01-12-2011
Location
Microsoft Research Cambridge, UK
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zuleger, Florian Bound Analysis of Imperative Programs with the Size-change AbstractionPräsentation Presentation2011