Author Info
Name
Affiliation
Papers
LUCAS WAGNER
Rockwell Collins, Inc.,
2
Collaborators
Citations 
PageRank 
12
15
1.23
Referers 
Referees 
References 
52
27
12
Title
Citations
PageRank
Year
Study on the Barriers to the Industrial Adoption of Formal Methods80.622013
Development of Security Software: A High Assurance Methodology70.612009