Andrew Hussey

Using Object-Z to specify a web browser interface

A. Hussey, D. Carrington, D. Carrington, 1996, Proceedings Sixth Australian Conference on Computer-Human Interaction.