search result

Cover von Software Verification "Across the Stack" (Invited Talk)

Software Verification "Across the Stack" (Invited Talk)

Year: 2015
Media group: LIPIcs
Cover von Lightweight Support for Magic Wands in an Automatic Verifier

Lightweight Support for Magic Wands in an Automatic Verifier

Year: 2015
Media group: LIPIcs
Cover von REST

REST

Integrating Term Rewriting with Program Verification
Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0