Expressive program verification via structured specifications

Expressive program verification via structured specifications

10.1007/s10009-014-0306-5

Saved in:
Bibliographic Details
Main Authors: Gherghina, C., David, C., Qin, S., Chin, W.-N.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2016
Subjects:
Case analysis
Separation logic
Structured specifications
Online Access:http://scholarbank.nus.edu.sg/handle/10635/123998
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

http://scholarbank.nus.edu.sg/handle/10635/123998

Similar Items