On Algebras of Algorithms and Specifications over Uninterpreted Data
Publié en ligne: 24 déc. 2018
Pages: 141 - 147
Accepté: 29 juin 2018
© 2018 Ievgen Ivanov et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.