scientific article
From MaRDI portal
Publication:3075245
zbMath1211.68367MaRDI QIDQ3075245
Publication date: 10 February 2011
Full work available at URL: http://jfr.cib.unibo.it/article/view/1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A formal semantics of nested atomic sections with thread escape ⋮ A survey on server-side approaches to securing web applications ⋮ Formalizing Scientifically Applicable Mathematics in a Definitional Framework
Uses Software
This page was built for publication:
