Specification and Refinement of Type Interfaces in Scientific Software

Research output: Contribution to journalArticlepeer-review

Filter
Finished

Search results