Behavioral Interface Specification Languages

Thumbnail
Metadata only
Author
Hatcliff, John
Leavens, Gary T.
Leino, K. Rustan M.
Müller, Peter
Parkinson, Matthew
Show all
Date
2012-06
Type
    Journal Article
Publication status
published
External links
Journal / series
Computing Surveys
Volume
44(3)
Pages / Article No.
16
Publisher
Association for Computing Machinery
Subject
Abstraction; Assertion; Behavioral subtyping; Frame conditions; Interface specification language; Invariant; JML; Postcondition; Precondition; Separation logic; Spec#; SPARK
Organisational unit
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
Citations
Cited 46 times in Web of Science
ETH Bibliography
yes
Altmetrics