Search Results - Nielson, Hanne Riis 1954-

Hanne Riis Nielson

Hanne Riis Nielson (born 1954) is a computer scientist specializing in formal methods and static program analysis, particularly for applications involving computer security and software safety. Provided by Wikipedia
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Semantics with applications a formal introduction

    Semantics with applications a formal introduction by Nielson, Hanne Riis 1954-

    Published 1992
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: