Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems

M. Luck, M. d'Inverno

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

15 Citations (Scopus)
Original languageEnglish
Title of host publicationZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users
EditorsJ. P. Bowen, M. G. Hinchey
PublisherSpringer Finance
Number of pages15
Publication statusPublished - 1995

Publication series

NameLecture Notes in Computer Science

Cite this