External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Program Verification Using Automatic Generation of Invariants

Enric Rodríguez-Carbonell, Deepak Kapur. Program Verification Using Automatic Generation of Invariants. In Zhiming Liu, Keijiro Araki, editors, Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Volume 3407 of Lecture Notes in Computer Science, pages 325-340, Springer, 2004. [doi]

@inproceedings{Rodriguez-CarbonellK04:0,
  title = {Program Verification Using Automatic Generation of Invariants},
  author = {Enric Rodríguez-Carbonell and Deepak Kapur},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=325},
  tags = {program verification},
  researchr = {https://researchr.org/publication/Rodriguez-CarbonellK04%3A0},
  cites = {0},
  citedby = {0},
  pages = {325-340},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers},
  editor = {Zhiming Liu and Keijiro Araki},
  volume = {3407},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25304-1},
}
runs on