Refinement of Graph Programs: From Specifications to Fast Code. PhD Project Proposal. Detlef Plump. This project will contribute to the departmental ...
確定! 回上一頁