TY  - BOOK
T1  - HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
T2  - Ada letters
LA  - English
PP  - New York
PB  - ACM
YR  - 2012
UL  - https://tuklas.up.edu.ph/Record/UP-99796217611459936
OP  - 108
CN  - QA 76.76 V47 H55 2012
SN  - 9781450315050
KW  - Computer software : Verification : Congresses.
ER  -