A Systematic Verification Approach for Mondex Electronic Purses using ASMs (2006)

by Gerhard Schellhorn , Holger Grandy , Dominik Haneberg , Nina Moebius , Wolfgang Reif
Citations:13 - 7 self