scientific article
From MaRDI portal
Publication:2852083
zbMath1273.68237MaRDI QIDQ2852083
Jing Sun, Yuan-Fang Li, Gillian Dobbie, Scott Uk-Jin Lee
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002374
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
