Logical vs. behavioural specifications
(2020) Information and Computation — Vol. 271, n° 1, p. 104487 (2020)
Files
benespaper.pdf
Open Access - Adobe PDF
- 687.79 KB
Details
- Authors
- Affiliations
Citations
Beneš, N., Fahrenberg, U., Křetínský, J., Legay, A., & Traonouez, L.-M. (2020). Logical vs. behavioural specifications. Information and Computation, 271(1), 104487. https://doi.org/10.1016/j.ic.2019.104487 (Original work published 2020)