J.-P. Jacquot, D. Quesnot
Early Specification of User-Interfaces: Toward a Formal Approach
ICSE, 1997.
@inproceedings{ICSE-1997-JacquotQ, author = "J.-P. Jacquot and D. Quesnot", booktitle = "{Proceedings of the 19th International Conference on Software Engineering}", doi = "10.1145/253228.253257", editor = "W. Richards Adrion and Alfonso Fuggetta and Richard N. Taylor and Anthony I. Wasserman", isbn = "0-89791-914-9", pages = "150--160", publisher = "{ACM}", title = "{Early Specification of User-Interfaces: Toward a Formal Approach}", year = 1997, }