Cross-Cutting Techniques in Program Specification and Analysis

Lam, PatrickKuncak, ViktorRinard, Martin2007-08-212007-08-212007-08-212005https://infoscience.epfl.ch/handle/20.500.14299/10391Cross-Cutting Techniques in Program Specification and Analysistext::conference output::conference proceedings::conference paper