Pages that link to "Item:Q3334049"
From MaRDI portal
The following pages link to The use of ghost variables and virtual programming in the documentation and verification of programs (Q3334049):
Displaying 3 items.
The following pages link to The use of ghost variables and virtual programming in the documentation and verification of programs (Q3334049):
Displaying 3 items.