By the same authors

A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming

Research output: Contribution to conferencePaper

Author(s)

Department/unit(s)

Publication details

DatePublished - 2008
Original languageUndefined/Unknown

Projects

Discover related content

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

View graph of relations