Generation of user interfaces using formal specification.

Ole Lauridsen

Browse the full Interact paper archive.