English Informatics Cited by user 79.191.33.66 on 29 Sep 2020 Informatics is the study of natural and engineered computational systems. The central notion is the transformation of information.
English Extended static checking Cited by user Cybercobra on 01 Sep 2010 Extended static checking (ESC) is a collective name for a range of techniques for statically checking the correctness of various program constraints.