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.

On Complementing an Undergraduate Software Engineering Course with Formal Methods

Bernd Westphal. On Complementing an Undergraduate Software Engineering Course with Formal Methods. In Marian Daun, Elke Hochmüller, Stephan Krusche, Bernd Brügge, Bastian Tenbergen, editors, 32nd IEEE Conference on Software Engineering Education and Training, CSEE&T 2020, Virtual Conference, Germany, November 9-12, 2020. pages 1-10, IEEE, 2020. [doi]

Authors

Bernd Westphal

This author has not been identified. Look up 'Bernd Westphal' in Google
runs on