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.

Counterexample Interpretation for Contract-Based Design

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel 0001, Lars Grunske. Counterexample Interpretation for Contract-Based Design. In Marc Zeller, Kai Höfig, editors, Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings. Volume 12297 of Lecture Notes in Computer Science, pages 99-114, Springer, 2020. [doi]

Authors

Arut Prakash Kaleeswaran

This author has not been identified. Look up 'Arut Prakash Kaleeswaran' in Google

Arne Nordmann

This author has not been identified. Look up 'Arne Nordmann' in Google

Thomas Vogel 0001

This author has not been identified. Look up 'Thomas Vogel 0001' in Google

Lars Grunske

This author has not been identified. Look up 'Lars Grunske' in Google
runs on