scientific article; zbMATH DE number 2117132
From MaRDI portal
Publication:4828479
zbMath1091.68520MaRDI QIDQ4828479
Varmo Vene, Markus Müller-Olm, Helmut Seidl
Publication date: 19 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Demand-driven interprocedural analysis for map-based abstract domains ⋮ Region Analysis for Race Detection
Uses Software
This page was built for publication: