@incollection{Cobleigh_2003,
    doi = {10.1007/3-540-36577-x_24},
    url = {https://doi.org/10.1007%2F3-540-36577-x_24},
    year = {2003},
    publisher = {Springer Berlin Heidelberg},
    pages = {331--346},
    author = {Jamieson M. Cobleigh and Dimitra Giannakopoulou and Corina S. P{\u{A}}s{\u{A}}reanu},
    title = {Learning Assumptions for Compositional Verification},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}
}

@incollection{Cobleigh_2003, doi = {10.1007/3-540-36577-x_24}, url = {https://doi.org/10.1007%2F3-540-36577-x_24}, year = {2003}, publisher = {Springer Berlin Heidelberg}, pages = {331--346}, author = {Jamieson M. Cobleigh and Dimitra Giannakopoulou and Corina S. P{\u{A}}s{\u{A}}reanu}, title = {Learning Assumptions for Compositional Verification}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems} }