José Bernardo Barros

Publication Activity (10 Years)

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

Top Topics

Graph Properties

Top Venues

Formal Aspects Comput.

Publications

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Assertion-based slicing and slice graphs. Formal Aspects Comput. 24 (2) (2012)
José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
Assertion-based Slicing and Slice Graphs. SEFM (2010)