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 'Nielson, Hanne Riis', query time: 0.01s Refine Results
  1. 1
    Semantics with applications : an appetizer /
    by Nielson, Hanne Riis
    Published 2011
    Get full text
    Get full text
    Printed Book
Search Tools: Get RSS Feed — Email this Search