scientific article; zbMATH DE number 6816936
From MaRDI portal
Publication:4596794
DOI10.23638/LMCS-13(4:16)2017zbMath1398.68093arXiv1705.08632MaRDI QIDQ4596794
Pierre-Etienne Moreau, Horatiu Cirstea, Sergueï Lenglet
Publication date: 11 December 2017
Full work available at URL: https://arxiv.org/abs/1705.08632
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication:
