Sciweavers

89 search results - page 1 / 18
» icse 2010
Sort
View
162
Voted
ICSE
2010
IEEE-ACM
15 years 9 months ago
SOFAS: software analysis services
Giacomo Ghezzi
133
Voted
ICSE
2010
IEEE-ACM
16 years 6 days ago
Online inference and enforcement of temporal properties
Mark Gabel, Zhendong Su