José Bernardo dos Santos Monteiro Vieira de Barros


AuthID: R-000-853

Confirmed Publications: 3



1
TITLE: Assertion-based slicing and slice graphs  Full Text
AUTHORS: Jose Bernardo Barros ; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
2
TITLE: Assertion-based slicing and slice graphs
AUTHORS: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID
3
TITLE: Semantics of non-terminating rewrite systems using minimal coverings  Full Text
AUTHORS: Barros, J ; Goguen, J;
PUBLISHED: 1996, SOURCE: 9th International Workshop on Computer Science Logic (CSL 95) / Annual Conference of the EACSL in COMPUTER SCIENCE LOGIC, VOLUME: 1092
INDEXED IN: WOS CrossRef
IN MY: ORCID

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service