Publication:4828479
From MaRDI portal
zbMath1091.68520MaRDI QIDQ4828479
Varmo Vene, Markus Müller-Olm, Helmut Seidl
Publication date: 19 November 2004
68N01: General topics in the theory of software
Related Items
Demand-driven interprocedural analysis for map-based abstract domains, Region Analysis for Race Detection
Uses Software