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 for search 'Riis Nielson, Hanne, 1954-', query time: 0.01s Refine Results
  1. 1

    Programming languages and systems-ESOP'96 /

    Published 1996
    Other Authors: “…Riis Nielson, Hanne, 1954-…”
    Conference Proceeding Book