Over the last decades, the WADT community has studied the formal specification of software (and hardware) in great detail [1, 9, 42].
CITATION STYLE
Mossakowski, T. (2017). The distributed ontology, model and specification language – DOL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10644 LNCS, pp. 5–10). Springer Verlag. https://doi.org/10.1007/978-3-319-72044-9_2
Mendeley helps you to discover research relevant for your work.