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.

Language engineering as an enabler for incrementally defined formal analyses

Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb. Language engineering as an enabler for incrementally defined formal analyses. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 9-15, IEEE, 2012. [doi]

Authors

Daniel Ratiu

This author has not been identified. It may be one of the following persons: Look up 'Daniel Ratiu' in Google

Bernhard Schätz

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Schätz' in Google

Markus Völter

Identified as Markus Völter

Bernd Kolb

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