1
TITLE: Symbolic Manipulation of Code Properties
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, ISSUE: 1-3
INDEXED IN: Scopus DBLP
2
TITLE: Implementation of Code Properties via Transducers  Full Text
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2016, SOURCE: 21st International Conference on Implementation and Application of Automata (CIAA) in Implementation and Application of Automata, VOLUME: 9705
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3
TITLE: Symbolic Manipulation of Code Properties PDF
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1504.04715
INDEXED IN: DBLP arXiv