Title
Optimized Static Parameter Assignment for Semiformal Software Verification.
Year
Venue
Field
2012
MBMV
Computer science,Computer engineering,Software verification
DocType
Citations 
PageRank 
Conference
1
0.36
References 
Authors
0
7
Name
Order
Citations
PageRank
Alexander Grünhage130.74
Jörg Behrend2123.67
Patrick Heckeler344.17
Jürgen Ruf412223.04
Thomas Kropf532659.09
Wolfgang Rosenstiel61462212.32
Djones Lettnin7397.68