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.

GuideForce: Type-Based Enforcement of Programming Guidelines

Serdar Erbatur, Martin Hofmann. GuideForce: Type-Based Enforcement of Programming Guidelines. In Domenico Bianculli, Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Volume 9509 of Lecture Notes in Computer Science, pages 75-89, Springer, 2015. [doi]

Authors

Serdar Erbatur

This author has not been identified. Look up 'Serdar Erbatur' in Google

Martin Hofmann

This author has not been identified. Look up 'Martin Hofmann' in Google
runs on