HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts - SIGAda; SIGAPP; Association for Computing Machinery. Special Interest Group on Embedded Systems; Association for Computing Machinery. Special Interest Group on Computers and Society; Association for Computing Machinery. Special Interest Group on Computer Science Education; ACM Special Interest Group on Programming Languages; Ada-Europe International Conference on Reliable Software Technologies (New York ACM, 2012)
Keywords: Computer software -- Verification -- Congresses