External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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.

Exploiting Formality in Software Engineering

Juan Bicarregui. Exploiting Formality in Software Engineering. In Jan Pavelka, Gerard Tel, Miroslav Bartosek, editors, SOFSEM 99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings. Volume 1725 of Lecture Notes in Computer Science, pages 163-180, Springer, 1999. [doi]

Abstract

Abstract is missing.

runs on