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.

Towards Classification of Lightweight Formal Methods

Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech. Towards Classification of Lightweight Formal Methods. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. pages 305-313, SciTePress, 2018. [doi]

Abstract

Abstract is missing.

runs on