본문

  1. Home
1 Results:AA:ANDERSON MAC 0.171 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
The Application of Model Checking for Securing E-Commerce Transactions
The Application of Model Checking for Securing E-Commerce Transactions
Anderson, B. B., | Association for Computing Machinery | 2006 ,
처음1마지막