Pages that link to "Item:Q2145329"
From MaRDI portal
The following pages link to Data abstraction: a general framework to handle program verification of data structures (Q2145329):
Displaying 2 items.
The following pages link to Data abstraction: a general framework to handle program verification of data structures (Q2145329):
Displaying 2 items.