Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Cite
Citation

Linked e-resources

Details

Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective
Propagation of Behavioral Variations with Delegation Proxies
Co-change Clusters: Extraction and Application on Assessing Software Modularity
Reusable Components of Semantic Specifications
Probabilistic Model Checking for Feature-Oriented Systems.

Browse Subjects

Show more subjects...

Statistics

from
to
Export