Pages that link to "Item:Q2368949"
From MaRDI portal
The following pages link to Refinement calculus: A basis for translation validation, debugging and certification (Q2368949):
Displaying 1 item.
The following pages link to Refinement calculus: A basis for translation validation, debugging and certification (Q2368949):
Displaying 1 item.