Search Results - Nielson, Hanne Riis

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 - 2 results of 2
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.
    Book

    Save to List
    Saved in:
  2. 2
    Type and effect systems behaviours for concurrency

    Type and effect systems behaviours for concurrency by Amtoft, Torben

    Published 1999
    Other Authors:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: