WorldCat Identities

Berg, Nils Erik

Works: 2 works in 3 publications in 1 language and 7 library holdings
Roles: Author
Publication Timeline
Most widely held works by Nils Erik Berg
Formal verification of low-level code in a model-based refinement process by Nils Erik Berg( )

2 editions published in 2019 in English and held by 5 WorldCat member libraries worldwide

Refinement-Based Verification of Communicating Unstructured Code by Nils Jähnig( )

1 edition published in 2020 in English and held by 2 WorldCat member libraries worldwide

Audience Level
Audience Level
  General Special  
Audience level: 0.95 (from 0.94 for Refinement ... to 0.97 for Refinement ...)

Alternative Names
Berg, Nils

Berg, Nils Erik

Jähnig, Nils

Jähnig, Nils Erik