logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

To Code Is Human

delete2015-01-01
delete0
PRE
AI
G
Gerard J. Holzmann *
DOI：10.1109/MS.2015.19delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En
Keywords:
Encoding
Software reliability
Computer programs
Software engineering
Reliability engineering
program processors
software engineering
computer programming
programming errors
compilers
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Software cover
IEEE Software
IF:
3
Papers:
3.1K
Citations:
3.6K

Organization

No organization information available