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.

Extending Timbuk to Verify Functional Programs

Thomas Genet, Tristan Gillard, Timothée HAUDEBOURG, Sébastien Lê Cong. Extending Timbuk to Verify Functional Programs. In Vlad Rusu, editor, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Volume 11152 of Lecture Notes in Computer Science, pages 153-163, Springer, 2018. [doi]

Authors

Thomas Genet

This author has not been identified. Look up 'Thomas Genet' in Google

Tristan Gillard

This author has not been identified. Look up 'Tristan Gillard' in Google

Timothée HAUDEBOURG

This author has not been identified. It may be one of the following persons: Look up 'Timothée HAUDEBOURG' in Google

Sébastien Lê Cong

This author has not been identified. Look up 'Sébastien Lê Cong' in Google
runs on