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.

Automatic Test Generation for Space

Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques. Automatic Test Generation for Space. In Alberto Simões, Ricardo Queirós, Daniela Carneiro da Cruz, editors, 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012. Volume 21 of OASICS, pages 185-203, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.

runs on