Economou, Dimitrios James,
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Focusing on Modular Refinement Typing /
by:
Economou, Dimitrios James,; Queen's University (Canada).
(Electronic resources)