Publication status
publishedExternal links
Journal / series
Computing SurveysVolume
Pages / Article No.
Publisher
Association for Computing MachinerySubject
Abstraction; Assertion; Behavioral subtyping; Frame conditions; Interface specification language; Invariant; JML; Postcondition; Precondition; Separation logic; Spec#; SPARKOrganisational unit
03653 - Müller, Peter / Müller, Peter
More
Show all metadata