Specification and Refinement of Type Interfaces in Scientific Software

Research output: Other contribution

Filter
Finished

Search results