Proceedings paper

Title:
Partial Verification of Software Components: Heuristics for Environment Construction.
Authors:
P. Parízek, F. Plášil
Publication:
33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany
DOI:
10.1109/EUROMICRO.2007.46
Year:
2007
Link:
https://doi.org/10.1109/EUROMICRO.2007.46

BibTeX:
@inproceedings{parizek_partial_2007,
    title = {{Partial Verification of Software Components: Heuristics for Environment Construction.}},
    author = {Parízek, Pavel and Plasil, Frantisek},
    year = {2007},
    booktitle = {{33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, Germany}},
    doi = {10.1109/EUROMICRO.2007.46},
    pages = {75--82},
    url = {https://doi.org/10.1109/EUROMICRO.2007.46},
}