Reasoning about Software-Component Behavior

Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth. Reasoning about Software-Component Behavior. In William B. Frakes, editor, Software Reuse: Advances in Software Reusability, 6th International Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings. Volume 1844 of Lecture Notes in Computer Science, pages 266-283, Springer, 2000.

@inproceedings{SitaramanAKWLBHPH00,
  title = {Reasoning about Software-Component Behavior},
  author = {Murali Sitaraman and Steven Atkinson and Gregory Kulczycki and Bruce W. Weide and Timothy J. Long and Paolo Bucci and Wayne D. Heym and Scott M. Pike and Joseph E. Hollingsworth},
  year = {2000},
  tags = {software components, software component},
  researchr = {https://researchr.org/publication/SitaramanAKWLBHPH00},
  cites = {0},
  citedby = {0},
  pages = {266-283},
  booktitle = {Software Reuse: Advances in Software Reusability, 6th International Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings},
  editor = {William B. Frakes},
  volume = {1844},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67696-1},
}