DanskDTU.dkIndexContactPhone bookInternal PagesDTU Alumni
English > Research > Language-Based Technology > Group Members
Research areas
Algorithms and Logic
Cognitive Systems
Data Analysis
Dynamical Systems
Embedded Systems Engineering
Image Analysis & Computer Graphics
Language-Based Technology
Research
Software
Teaching
Group Members
Publications
Mathematical Statistics
Scientific Computing
Software Engineering
Research centers
Publications
Title: Static Analysis
Type: BookBook
Participant(s):
Editor:  Nielson, Hanne Riis (Cwisno: 9540)
Technical University of Denmark
Email:

Redaktør:  Filé, Gilberto
Technical University of Denmark
Abstract: 14th International Symposium, SAS 2007, Kgs. Lyngby, Denmark, August 22-24, proceedings
Published:
See the publication in DTU Orbit See the publication in DTU Orbit

Top
MatematiktorvetDTU - Building 303BDK-2800 Kgs. LyngbyTel +45 4525 3031EAN 5798000428515
Cookies