Model checking and abstract interpretation as building blocks of advanced program analysis techniques: Selected papers from TACAS 2009

Issue Title: TACAS 2009

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer 2013-08, Vol.15 (4), p.287-289
Main Authors: Kowalewski, Stefan, Philippou, Anna, Brauer, Jörg
Format: Article
Language:English
Subjects:
Computer Science
Introduction
Software Engineering
Software Engineering/Programming and Operating Systems
Theory of Computation
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Issue Title: TACAS 2009
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-013-0280-3