Skip to main content

1 Result(s)

within Computer Science Remove this filter Computer Communication Networks Remove this filter Mathematical Logic and Formal Languages Remove this filter Programming Techniques Remove this filter M. Brian Blake Remove this filter Conference Paper Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Static Detection of Implementation Errors Using Formal Code Specification

    The software engineering community suggests that formal specification of source code facilitates the verification that can help to identify hidden functional errors. In this work, we investigate the impact of ...

    Iman Saleh, Gregory Kulczycki, M. Brian Blake… in Software Engineering and Formal Methods (2013)