1
TITLE: Assertion-based slicing and slice graphs  Full Text
AUTHORS: Jose Bernardo Barros ; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 2, PUBLISHED: 2012
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 ;
SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010, PUBLISHED: 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;
SOURCE: 9th International Workshop on Computer Science Logic (CSL 95) / Annual Conference of the EACSL in COMPUTER SCIENCE LOGIC, VOLUME: 1092, PUBLISHED: 1996
INDEXED IN: WOS CrossRef
IN MY: ORCID