Stem verificatio$ (all stems)
2 papers:
- SEFM-2005-GurovH #abstraction #composition #interface
- Interface Abstraction for Compositional Verificatio (DG, MH), pp. 414–424.
- ICDAR-1997-MartensC #online #optimisation #programming
- Dynamic Programming Optimisation for On-line Signature Verificatio (RM, LJMC), pp. 653–656.