Pages that link to "Item:Q2096419"
From MaRDI portal
The following pages link to BGSL: an imperative language for specification and refinement of backtracking programs (Q2096419):
Displaying 1 item.
The following pages link to BGSL: an imperative language for specification and refinement of backtracking programs (Q2096419):
Displaying 1 item.