scientific article
From MaRDI portal
Publication:2871854
zbMath1278.68126MaRDI QIDQ2871854
Pedro Pablo Pérez Velasco, Juan de Lara
Publication date: 10 January 2014
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108001849?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
This page was built for publication:
