Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology

Bibliographic Details
Format: Electronic eBook
Language:English
Published: Association for Computing Machinery (ACM), 11/10/13
Subjects:
Online Access:Full text available on Research4Life (ACM)

Similar Items