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
Cover Image
Read Now

1
by Riis Nielson, Hanne, Nielson, Flemming
Published 2007
Springer London
Cover Image
Read Now

2
by Nielson, Flemming, Riis Nielson, Hanne
Published 2019
Springer International Publishing
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Other Authors: “...Riis Nielson, Hanne...”