HILT'12 Proceedings of the ACM Conference on High Integrity Language Technology |
|
| Editor:
| Brosgol, Ben |
| ISBN: | 978-1-4503-1505-0 |
| Publication Date: | Dec 2012 |
| Publisher: | Association for Computing Machinery
|
| Book Format: | Hardback |
| List Price: | USD $16.00 |
Book Description:
|
HILT 2012 / High Integrity Language Technology: ACM SIGAda Annual Dec 02, 2012-Dec 06, 2012 Boston, USA. You can view more information about this proceeding and all of ACM#65533;s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
HILT 2012 / High Integrity Language Technology: ACM SIGAda Annual Dec 02, 2012-Dec 06, 2012 Boston, USA. You can view more information about this proceeding and all of ACM#65533;s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.