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.

Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall. Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. In Dirk Beyer 0001, Chantal Keller, editors, Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Volume 11823 of Lecture Notes in Computer Science, pages 167-185, Springer, 2019. [doi]

Authors

Virgile Robles

This author has not been identified. Look up 'Virgile Robles' in Google

Nikolai Kosmatov

This author has not been identified. Look up 'Nikolai Kosmatov' in Google

Virgile Prevosto

This author has not been identified. Look up 'Virgile Prevosto' in Google

Louis Rilling

This author has not been identified. Look up 'Louis Rilling' in Google

Pascale Le Gall

This author has not been identified. Look up 'Pascale Le Gall' in Google
runs on