A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs

Sridhar Iyer, S. Ramesh. A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs. In 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC 97 / ICSC 97), 2-5 December 1997, Clear Water Bay, Hong Kong. pages 160, IEEE Computer Society, 1997. [doi]

@inproceedings{IyerR97,
  title = {A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs},
  author = {Sridhar Iyer and S. Ramesh},
  year = {1997},
  url = {http://csdl.computer.org/comp/proceedings/apsec/1997/8271/00/82710160abs.htm},
  tags = {object-oriented programming, program analysis, analysis, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/IyerR97},
  cites = {0},
  citedby = {0},
  pages = {160},
  booktitle = {4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC  97 / ICSC  97), 2-5 December 1997, Clear Water Bay, Hong Kong},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-8271-X},
}