Metadata only
Date
2017Type
- Book Chapter
Publication status
publishedBook title
Dependable Software Systems EngineeringJournal / series
NATO Science for Peace and Security Series - D: Information and Communication SecurityVolume
Pages / Article No.
Publisher
IOS Press BVSubject
program verification; separation logic; verification tools; intermediate languageMore
Show all metadata