2010 8th IEEE International Conference on Software Engineering and Formal Methods Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on. :93-102 Sep, 2010
2009 International Multiconference on Computer Science and Information Technology Computer Science and Information Technology, 2009. IMCSIT '09. International Multiconference on. :699-706 Oct, 2009
2009 International Multiconference on Computer Science and Information Technology Computer Science and Information Technology, 2009. IMCSIT '09. International Multiconference on. :691-698 Oct, 2009
Journal of Logical and Algebraic Methods in Programming (J. Log. Algebr. Methods Program.) (20220101), 128, Paper No 100792, 5~pp. ISSN: 2352-2208 (print).eISSN: 2352-2216.
2009 International Multiconference on Computer Science and Information Technology Computer Science and Information Technology, 2009. IMCSIT '09. International Multiconference on. :675-682 Oct, 2009