[{"text":"\n\n\nRobin Salkeld , Ronald Garcia, Essential retroactive weaving, Companion Proceedings of the 14th International Conference on Modularity, March 16-19, 2015, Fort Collins, CO, USA\n\n\n","citation":"2736751"},{"text":"\n\n\nHenrique Rebêlo , Gary T. Leavens , Mehdi Bagherzadeh , Hridesh Rajan , Ricardo Lima , Daniel M. Zimmerman , Márcio Cornélio , Thomas Thüm, Modularizing crosscutting contracts with AspectJML, Proceedings of the companion publication of the 13th international conference on Modularity, April 22-26, 2014, Lugano, Switzerland\n\n\n","citation":"2584476"},{"text":"\n\n\nJorne Kandziora , Marieke Huisman , Christoph Bockisch , Marina Zaharieva-Stojanovski, Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML, Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, p.1-6, July 07-07, 2015, Prague, Czech Republic\n\n\n","citation":"2786541"},{"text":"\n\n\nHenrique Rebêlo , Gary T. Leavens, Enforcing information hiding in interface specifications: a client-aware checking approach, Companion Proceedings of the 14th International Conference on Modularity, March 16-19, 2015, Fort Collins, CO, USA\n\n\n","citation":"2736750"},{"text":"\n\n\nIsmael Figueroa , Bruno García , Paul Leger, Towards progressive program verification in Dafny, Proceedings of the XXII Brazilian Symposium on Programming Languages, p.90-97, September 20-21, 2018, Sao Carlos, Brazil\n\n\n","citation":"3264649"},{"text":"\n\n\nHenrique Rebêlo , Gary T. Leavens, Aspect-Oriented Programming Reloaded, Proceedings of the 21st Brazilian Symposium on Programming Languages, p.1-8, September 21-22, 2017, Fortaleza, CE, Brazil\n\n\n","citation":"3125383"}]