Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches | IEEE Journals & Magazine | IEEE Xplore