UUsing formal specifications of a human-computer interfaceUsing formal specifications of a human-computer interfacede Robert J. K. JacobEdiciones (1)Using formal specifications of a human-computer interface.Association for computing machinery · inglés