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', query time: 0.01s Refine Results
  1. 1
    Formal methods : an appetizer /

    Formal methods : an appetizer / by Nielson, Flemming, Riis Nielson, Hanne

    Published 2019
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search