Fergal Shevlin;Francis Neelamkavil
-;-
Using object-Z to compare the MVC and PAC architectures
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface