[{"text":"\n\n\nBugra M. Yildiz , Christoph Bockisch , Arend Rensink , Mehmet Aksit, An MDE Approach for Modular Program Analyses, Companion to the first International Conference on the Art, Science and Engineering of Programming, April 03-06, 2017, Brussels, Belgium\n\n\n","citation":"3079392"}]