Proceedings paper

Title:
Hybrid Analysis for Partial Order Reduction of Programs with Arrays
Authors:
P. Parízek
Publication:
Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
DOI:
10.1007/978-3-662-49122-5_14
Year:
2016
Link:
https://doi.org/10.1007/978-3-662-49122-5_14

BibTeX:
@inproceedings{parizek_hybrid_2016,
    title = {{Hybrid Analysis for Partial Order Reduction of Programs with Arrays}},
    author = {Parízek, Pavel},
    year = {2016},
    booktitle = {{Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings}},
    publisher = {Springer},
    doi = {10.1007/978-3-662-49122-5_14},
    pages = {291--310},
    url = {https://doi.org/10.1007/978-3-662-49122-5_14},
}