Publication

Number of items: 2.
1995
  • Structuring a Z specification to provide a formal framework for autonomous agent systems. (1995) Luck, Michael and d'Inverno, Mark
  • Structuring specification in Z to build a unifying framework for hypertext systems. (1995) d'Inverno, Mark and Priestley, Mark