search result

Cover von 6. 2021, 3/4; Refinement Types
A Tutorial
Author: Jhala, Ranjit; Vazou, Niki Search for this author
Year: 2021
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages
Media group: MONOGRAPHIE
Cover von REST

REST

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