Sciweavers

Share
6 search results - page 2 / 2
» Automatic Construction and Verification of Isotopy Invariant...
Sort
View
BIRTHDAY
2003
Springer
11 years 11 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
books