The Complexity of Formal Specifications - Assessments by alpha-Metric

@article{Kokol1999TheCO,
  title={The Complexity of Formal Specifications - Assessments by alpha-Metric},
  author={Peter Kokol and Vili Podgorelec and Henri Habrias and Nassim Hadj Rabia},
  journal={SIGPLAN Notices},
  year={1999},
  volume={34},
  pages={84-88}
}
This paper presents the use of α -- metrics in analysing and comparison of various formal specification languages. 

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
2 Extracted Citations
0 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-2 of 2 extracted citations

Similar Papers

Loading similar papers…