| Title | Implementation of Code Properties via Transducers |
| Publication Type | Proceedings of international conferences (peer reviewed) |
| Authors | Konstantinidis S, Meijer C, Moreira N, Reis R |
| [2016-5] |
| Title | Implementation of Code Properties via Transducers |
| Publication Type | Proceedings of international conferences (peer reviewed) |
| Authors | Konstantinidis S, Meijer C, Moreira N, Reis R |
| [2016-5] |