Pavel Parizek, Frantisek Plasil. Partial Verification of Software Components: Heuristics for Environment Construction. In 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, German. pages 75-82, IEEE Computer Society, 2007. [doi]
Abstract is missing.