Using Z to Rigorously Review a Specification of a Network Management System

• Authors:

• Tony Bryant;Andy Evans;Lesley Semmens;Rajko Milovanovic;Sinclair Guillaume Stockman;Mark Norris;Clive Selley

• Affiliations:

• -;-;-;-;-;-;-

• Venue:
• ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
• Year:
• 1995