Author Info
Name
Affiliation
Papers
JOÃO FERNANDO FERREIRA
Teesside University, Middlesbrough, North Yorkshire, GB
2
Collaborators
Citations 
PageRank 
5
0
0.68
Referers 
Referees 
References 
0
29
12
Title
Citations
PageRank
Year
Towards a Program Logic for C11 Release-Sequences00.342018
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems00.342017