Publications - VeriSM - Katherine Kawamoto