Social and Semiotic Analyses for Theorem Prover User Interface Design (1999)

by Joseph Goguen
Venue:Formal Aspects of Computing
Citations:19 - 11 self