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.

Semi-Automated Verification of Erlang Code

Lars-Åke Fredlund, Dilian Gurov, Thomas Noll. Semi-Automated Verification of Erlang Code. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. pages 319-323, IEEE Computer Society, 2001. [doi]

Authors

Lars-Åke Fredlund

This author has not been identified. Look up 'Lars-Åke Fredlund' in Google

Dilian Gurov

This author has not been identified. Look up 'Dilian Gurov' in Google

Thomas Noll

This author has not been identified. Look up 'Thomas Noll' in Google
runs on