"Static Detection of Access Anomalies in Ada95"

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	ADA-Europe-Reliable Software Technologies -
Publisher	Springer
Pages	40-55
Number of pages	16
ISBN (Print)	3-540-34663-5
Publication status	Published - 2006
Event	ADA-Europe-Reliable Software Technologies - Duration: 1 Jan 2006 → …

Conference	ADA-Europe-Reliable Software Technologies
Period	1/01/06 → …

Research Field

@inproceedings{5a26a3f9f00444f88e9be01ba4ae8dfa,

title = "{"}Static Detection of Access Anomalies in Ada95{"}",

author = "Bernd Burgstaller and Johann Blieberger and Robert Mittermayr",

year = "2006",

language = "English",

isbn = "3-540-34663-5",

pages = "40--55",

booktitle = "ADA-Europe-Reliable Software Technologies -",

publisher = "Springer",

address = "Germany",

note = "ADA-Europe-Reliable Software Technologies ; Conference date: 01-01-2006",

}

TY - GEN

T1 - "Static Detection of Access Anomalies in Ada95"

AU - Burgstaller, Bernd

AU - Blieberger, Johann

AU - Mittermayr, Robert

PY - 2006

Y1 - 2006

M3 - Conference Proceedings with Oral Presentation

SN - 3-540-34663-5

SP - 40

EP - 55

BT - ADA-Europe-Reliable Software Technologies -

PB - Springer

T2 - ADA-Europe-Reliable Software Technologies

Y2 - 1 January 2006

ER -