External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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.

Higher-order strategic programming: A road to software assurance

Victor L. Winter, Steve Roach, Fares Fraij. Higher-order strategic programming: A road to software assurance. In M. H. Hamza, editor, Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA. pages 350-355, IASTED/ACTA Press, 2004.

Authors

Victor L. Winter

Identified as Victor L. Winter

Steve Roach

This author has not been identified. Look up 'Steve Roach' in Google

Fares Fraij

This author has not been identified. Look up 'Fares Fraij' in Google
runs on