Pages that link to "Item:Q2988652"

From MaRDI portal

← Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652)

Jump to:navigation, search

The following pages link to Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652):

Displaying 3 items.

Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"