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

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