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.

Sequential Generation of Structured Arrays and Its Deductive Verification

Richard Genestier, Alain Giorgetti, Guillaume Petiot. Sequential Generation of Structured Arrays and Its Deductive Verification. In Jasmin Christian Blanchette, Nikolai Kosmatov, editors, Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. Volume 9154 of Lecture Notes in Computer Science, pages 109-128, Springer, 2015. [doi]

Authors

Richard Genestier

This author has not been identified. Look up 'Richard Genestier' in Google

Alain Giorgetti

This author has not been identified. Look up 'Alain Giorgetti' in Google

Guillaume Petiot

This author has not been identified. Look up 'Guillaume Petiot' in Google
runs on