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 Testing of Operation Invariance

Tobias Gödderz, Janis Voigtländer. Automatic Testing of Operation Invariance. In Stefan Brass, Johannes Waldmann, editors, Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014. Volume 1335 of CEUR Workshop Proceedings, pages 172-186, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.

runs on