Summary
Modern software systems are heterogeneous and complex, and the way to tame their complexity so as to support analytical techniques consists in supporting modular forms of reasoning. Indeed, program semantics is traditionally centred around the notion of program identity, that...
More information & hyperlinks
| Web resources: | http://diapason.unibo.it/ |
