scientific article
From MaRDI portal
Publication:3574330
zbMath1209.68315MaRDI QIDQ3574330
Abusaleh M. Jabir, Maciej Ciesielski, Dhiraj K. Pradhan
Publication date: 9 July 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: