My Account Log in

1 option

HILT '13 : proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA

ACM Digital Library Available online

View online
Format:
Book
Author/Creator:
Boleng, Jeff
Contributor:
Association for Computing Machinery Special Interest Group on Embedded Systems, Content Provider.
SIGAda, Content Provider.
SIGAPP, Content Provider.
Series:
ACM Conferences
Language:
English
Physical Description:
1 online resource (90 pages)
Other Title:
High Integrity Language Technology '13 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, Pennsylvania, United States of America
Proceedings of the 2013 ACM SIGAda annual Conference on High Integrity Language Technology
HILT 2013
High Integrity Language Technology ACM SIGAda Annual, Pittsburgh, PA, USA - November 10 - 14, 2013
Place of Publication:
[Place of publication not identified] ACM 2013
Language Note:
English
Notes:
Bibliographic Level Mode of Issuance: Monograph
ISBN:
1-4503-2467-3

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account