By the same authors

ZB 2005: Formal Specification and Development in Z and B

Research output: Contribution to conferencePaper

Author(s)

  • Helen Treharne
  • Steve King
  • Martin C. Henson
  • Steve A. Schneider

Department/unit(s)

Conference

Conference4th International Conference of B and Z Users
CountryUnited Kingdom
CityGuildford
Conference date(s)13/04/0515/04/05

Publication details

DatePublished - 2005
Original languageUndefined/Unknown

Discover related content

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

View graph of relations