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.

Integrating formal specifications into applications: the ProB Java API

Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel. Integrating formal specifications into applications: the ProB Java API. Formal Methods in System Design, 58(1):160-187, 2021. [doi]

Authors

Philipp Körner

This author has not been identified. Look up 'Philipp Körner' in Google

Jens Bendisposto

This author has not been identified. Look up 'Jens Bendisposto' in Google

Jannik Dunkelau

This author has not been identified. Look up 'Jannik Dunkelau' in Google

Sebastian Krings

This author has not been identified. Look up 'Sebastian Krings' in Google

Michael Leuschel

This author has not been identified. It may be one of the following persons: Look up 'Michael Leuschel' in Google
runs on