Sciweavers

1181 search results - page 5 / 237
» constraints 2004
Sort
View
49
Voted
KR
2004
Springer
15 years 4 months ago
Automated Reformulation of Specifications by Safe Delay of Constraints
Marco Cadoli, Toni Mancini