Pages that link to "Item:Q5951523"
From MaRDI portal
The following pages link to Studies of a theory of specifications with built-in program extraction (Q5951523):
Displayed 1 item.
The following pages link to Studies of a theory of specifications with built-in program extraction (Q5951523):
Displayed 1 item.