Pages that link to "Item:Q5311301"

From MaRDI portal

← Formal Methods for Components and Objects (Q5311301)

Jump to:navigation, search

The following pages link to Formal Methods for Components and Objects (Q5311301):

Displaying 3 items.

Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
Fifty years of Hoare's logic (Q2280214) (← links)
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects (Q2864507) (← links)

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