Concepedia

Henrique Ferreiro

HF

Statistics

Publications

1

Citations

11

H-Index

1

Active since

2013

Affiliations

Universidade da Coruña(Current)

Henrique Ferreiro is an author at Universidade da Coruña specializing in formal verification, software engineering, and software testing.

Top concepts

Publications per year

2013–2013

1

Publications

1

Turning web services descriptions into quickcheck models for automatic testing

Miguel A. Francisco, Macías López, Henrique Ferreiro et al. · 2013 · 11 citations

, , +15

1–1 of 1