External Links

Cite Key

Statistics

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

PDF

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.

Bug Hunting with False Negatives

Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova. Bug Hunting with False Negatives. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 98-117, Springer, 2007. [doi]

Authors

Jens R. Calame

This author has not been identified. Look up 'Jens R. Calame' in Google

Natalia Ioustinova

This author has not been identified. Look up 'Natalia Ioustinova' in Google

Jaco van de Pol

This author has not been identified. Look up 'Jaco van de Pol' in Google

Natalia Sidorova

This author has not been identified. It may be one of the following persons: Look up 'Natalia Sidorova' in Google
runs on