Publication:2843608
From MaRDI portal
zbMath1270.68119MaRDI QIDQ2843608
Ricardo P. Jacobi, Mauricio Ayala-Rincón, Carlos H. Llanos, Rinaldi Maya Neto, Reiner Hartenstein
Publication date: 23 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806017
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Uses Software
Cites Work