Pages that link to "Item:Q5935933"
From MaRDI portal
The following pages link to Industrial applications of software synthesis via category theory -- case studies using specware (Q5935933):
Displayed 1 item.
The following pages link to Industrial applications of software synthesis via category theory -- case studies using specware (Q5935933):
Displayed 1 item.