@inproceedings{Andronick_2012,
    doi = {10.1109/icse.2012.6227120},
    url = {https://doi.org/10.1109%2Ficse.2012.6227120},
    year = {2012},
    month = {jun},
    publisher = {{IEEE}},
    author = {June Andronick and Ross Jeffery and Gerwin Klein and Rafal Kolanski and Mark Staples and He Zhang and Liming Zhu},
    title = {Large-scale formal verification in practice: A process perspective},
    booktitle = {2012 34th International Conference on Software Engineering ({ICSE})}
}

@inproceedings{Andronick_2012, doi = {10.1109/icse.2012.6227120}, url = {https://doi.org/10.1109%2Ficse.2012.6227120}, year = {2012}, month = {jun}, publisher = {{IEEE}}, author = {June Andronick and Ross Jeffery and Gerwin Klein and Rafal Kolanski and Mark Staples and He Zhang and Liming Zhu}, title = {Large-scale formal verification in practice: A process perspective}, booktitle = {2012 34th International Conference on Software Engineering ({ICSE})} }