[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Contract-Based Verification of Hierarchical Systems of Components
Quinton, Sophie, Graf, SusanneYear:
2008
Language:
english
DOI:
10.1109/sefm.2008.28
File:
PDF, 347 KB
english, 2008