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.

Spot: a programming language for verified flight software

Robert L. Bocchino, Edward Gamble, Kim P. Gostelow, Raphael R. Some. Spot: a programming language for verified flight software. In Michael Feldman, S. Tucker Taft, editors, Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014. pages 97-102, ACM, 2014. [doi]

Authors

Robert L. Bocchino

This author has not been identified. Look up 'Robert L. Bocchino' in Google

Edward Gamble

This author has not been identified. Look up 'Edward Gamble' in Google

Kim P. Gostelow

This author has not been identified. Look up 'Kim P. Gostelow' in Google

Raphael R. Some

This author has not been identified. Look up 'Raphael R. Some' in Google
runs on