Session details: Architecture-level design languages and compositional verification
- Resource Type
- Source
- Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology.
- Subject
business.industry Computer science Level design Session (computer science) Architecture Software engineering business - Language