Testing decomposition of component specifications based on a rule for formal verification
Category
Academic chapter/article/Conference paper
Language
English
Author(s)
- Mass Soldal Lund
Affiliation
- University of Oslo
- SINTEF
Year
2003Publisher
IEEE (Institute of Electrical and Electronics Engineers)
Book
Proceedings of the Third International Conference on Quality Software (QSIC 2003)
ISBN
0-7695-2015-4
Page(s)
154 - 160