@incollection{Wang_2015,
    doi = {10.1007/978-3-319-25423-4_25},
    url = {https://doi.org/10.1007%2F978-3-319-25423-4_25},
    year = {2015},
    publisher = {Springer International Publishing},
    pages = {382--399},
    author = {Shuling Wang and Naijun Zhan and Liang Zou},
    title = {An Improved {HHL} Prover: An Interactive Theorem Prover for Hybrid Systems},
    booktitle = {Formal Methods and Software Engineering}
}

@incollection{Wang_2015, doi = {10.1007/978-3-319-25423-4_25}, url = {https://doi.org/10.1007%2F978-3-319-25423-4_25}, year = {2015}, publisher = {Springer International Publishing}, pages = {382--399}, author = {Shuling Wang and Naijun Zhan and Liang Zou}, title = {An Improved {HHL} Prover: An Interactive Theorem Prover for Hybrid Systems}, booktitle = {Formal Methods and Software Engineering} }