Searching for authors named "Marcelo Sihman" – sorted by Relevance.
-
Model Checking Applications of Aspects and Superimpositions
- preserve the properties being checked. Additionally, it has proven pop- Marcelo Sihman and Shmuel Katz
- Cited by 6 (0 self) – Add To MetaCart
-
Superimpositions and aspect-oriented programming
- rights reserved Superimpositions and Aspect-oriented Programming MARCELO SIHMAN AND SHMUEL KATZ
- Cited by 14 (0 self) – Add To MetaCart

