Mass Soldal Lund. Testing Decomposition of Component Specifications Based on a Rule for Formal Verification. In 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA. pages 154-160, IEEE Computer Society, 2003. [doi]
Abstract is missing.