Up a level |
Medicherla, Raveendra Kumar and Komondoor, Raghavan and Narendran, S (2015) Program Specialization and Verification using File Format Specifications. In: IEEE 31st International Conference on Software Maintenance and Evolution (ICSME), SEP 29-OCT 01, 2015, Bremen, GERMANY, pp. 191-200.