Leiden University Scholarly Publications

Your Search

Enabled Filters

  • (-) = Hiep, H.A.

Refine Results

Availability

Creation Date

Faculty

Collection

Language

Search results

  • RSS Feed
(1 - 8 of 8)
New Foundations for Separation Logic
Dynamic separation logic
The logic of separation logic
Analysis and formal specification of OpenJDK’s BitSet
Verifying OpenJDK’s LinkedList using KeY (extended paper)
Integrating ADTs in KeY and their application to history-based reasoning about collection
Footprint logic for object-oriented components
Completeness and complexity of reasoning about call-by-value in Hoare logic