Andrei Arusoaie, Dorel Lucanu, Vlad Rusu. Symbolic execution based on language transformation. Computer Languages, Systems \& Structures, Volume 44 Part A:48-71, December 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.