By the same authors

A Chain Datatype in Z

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalInt. J. Software and Informatics
DatePublished - 2009
Issue number2-3
Volume3
Number of pages18
Pages (from-to)357-374
Original languageUndefined/Unknown

Discover related content

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

View graph of relations