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]
@inproceedings{Lund03:0, title = {Testing Decomposition of Component Specifications Based on a Rule for Formal Verification}, author = {Mass Soldal Lund}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/qsic/2003/2015/00/20150154abs.htm}, tags = {rule-based, testing, rules}, researchr = {https://researchr.org/publication/Lund03%3A0}, cites = {0}, citedby = {0}, pages = {154-160}, booktitle = {3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2015-4}, }