Isaque Lima
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 1
Publications (10 Years): 1
Publications
- Mario R. F. Benevides, Isaque LimaAction Models with Postconditions. Computación y Sistemas 21 (3) (2017)
- Mario R. F. Benevides, Isaque Lima, Rafael Nader, Pedro Rougemont