메뉴 건너뛰기




Volumn 41, Issue 1, 2008, Pages 28-37

Can programming be liberated, period?

Author keywords

[No Author keywords available]

Indexed keywords


EID: 40449138815     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2008.10     Document Type: Article
Times cited : (44)

References (6)
  • 6
    • 0003962322 scopus 로고    scopus 로고
    • E.M. Clarke O. Grumberg D.A. Peled Model Checking, 2000
    • (2000) Model Checking,


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.