Screen LibraryHILT'12 : proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts /
Saved in:
| Corporate Authors: | ; ; ; ; |
|---|---|
| Group Author: | |
| Published: |
Association for Computing Machinery,
|
| Publisher Address: | New York, New York : |
| Publication Dates: | [2012] |
| Literature type: | Book |
| Language: | English |
| Subjects: | |
| Carrier Form: | 104 pages : illustrations ; 28 cm |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9781450315050 : 1450315054 |
| Index Number: | QA76 |
| CLC: | TP31-532 |
| Call Number: | TP31-532/A849/2012 |