By the same authors

From the same journal

Specification and Refinement of Type Interfaces in Scientific Software

Research output: Contribution to journalArticle



Publication details

JournalFormal Asp. Comput.
DateIn preparation - 2012
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations