Trau: SMT Solver for String Consraints
Published in Journal 1, 2009
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). “Paper Title Number 1.” Journal 1. 1(1).