Jorge R. Almeida Jr.

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Thiago C. de Sousa, Jorge R. Almeida Jr., Sidney Viana, Judith Pavón
Automatic analysis of requirements consistency with the B method. ACM SIGSOFT Softw. Eng. Notes 35 (2) (2010)