Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Scott A. Summers"'
Publikováno v:
Communications of the ACM. 49:97-101
Model checking is an effective component for performing online transactions that build customer trust and confidence.