Concepedia
1
Publications
20
Citations
H-Index
2016
Active since
Affiliations
Aalborg University(Current)
Sergio Feo-Arenis is an author at Aalborg University.
Publications per year
2016–2016
Ready for testing: ensuring conformance to industrial standards through formal verification
Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch et al. · Formal Aspects of Computing · 2016 · 20 citations
Rows per page
1–1 of 1