@misc{indiciae71a759bf6cea,
  title = {Abstraction and Assume-Guarantee Reasoning for Automated Software Verification},
  author = {Chaki, S. and Clarke, E. and Giannakopoulou, D. and Pasareanu, C. S.},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20050185529},
  note = {Source identifier: 20050185529}
}