Formalism and Language Tools for Specification of the Semantics of Software Libraries
Crossref DOI link: https://doi.org/10.3103/S0146411617070100
Published Online: 2018-02-07
Published Print: 2017-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Itsykson, V. M.
Text and Data Mining valid from 2017-12-01
Article History
Received: 5 September 2016
First Online: 7 February 2018