M. Marting, и K. Unhammer. Proceedings of the 9th SaLTMiL Workshop on “Free/Open-Source Language Resources for the Machine Translation of Less-Resourced Languages”, LREC2014, стр. 19--24. (2014)
T. Arons, A. Pnueli, S. Ruah, J. Xu, и L. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, стр. 221--234. London, UK, Springer-Verlag, (2001)
M. Bobaru, C. Pasareanu, и D. Giannakopoulou. CAV '08: Proceedings of the 20th international conference on Computer Aided Verification, стр. 135--148. Berlin, Heidelberg, Springer-Verlag, (2008)
K. Baukus, S. Bensalem, Y. Lakhnech, и K. Stahl. TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems, стр. 188--203. London, UK, Springer-Verlag, (2000)