Not logged in

Return

Code Clarity

2016-03-01

8

PRE

AI

Gerard J. Holzmann *

DOI：10.1109/MS.2016.44

Original request for help

Save

Abstract

En

Journal

IF:

3

Papers:

3.2K

Citations:

3.6K

Organization

N

national aeronautics & space administration (nasa)

Scholars:

3.1W

Papers: 2.6W

Citations: 46

Cited Papers

No cited papers available