Static Detection of Implementation Errors Using Formal Code Specification.

Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei

Browse the full SEFM paper archive.