@article{Kaivola_2003,
    doi = {10.1007/s10009-002-0081-6},
    url = {https://doi.org/10.1007%2Fs10009-002-0081-6},
    year = {2003},
    month = {may},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {4},
    number = {3},
    pages = {323--334},
    author = {Roope Kaivola and Katherine Kohatsu},
    title = {Proof engineering in the large: formal verification of Pentium4 floating-point divider},
    journal = {International Journal on Software Tools for Technology Transfer ({STTT})}
}

@article{Kaivola_2003, doi = {10.1007/s10009-002-0081-6}, url = {https://doi.org/10.1007%2Fs10009-002-0081-6}, year = {2003}, month = {may}, publisher = {Springer Science and Business Media {LLC}}, volume = {4}, number = {3}, pages = {323--334}, author = {Roope Kaivola and Katherine Kohatsu}, title = {Proof engineering in the large: formal verification of Pentium4 floating-point divider}, journal = {International Journal on Software Tools for Technology Transfer ({STTT})} }