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.08s Refine Results
  1. 1
    Hoare logic's for run-time analysis of programs
    by Nielson, Hanne Riis
    Published 1984
    Get full text
Search Tools: Get RSS Feed — Email this Search