Pages that link to "Item:Q3585022"
From MaRDI portal
The following pages link to A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming (Q3585022):
Displaying 2 items.
The following pages link to A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming (Q3585022):
Displaying 2 items.