Search results for: Juliano Iyoda
Information Processing Letters > 2016 > 116 > 11 > 701-705
Lecture Notes in Computer Science > FM’99 — Formal Methods > Co-design > 1400-1419
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 308-324
Software & Systems Modeling > 2017 > 16 > 3 > 875-902
Science of Computer Programming > 2014 > 92 > Part B > 105-128
Acta Informatica > 2011 > 48 > 7-8 > 363-396
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 243-253
Electronic Notes in Theoretical Computer Science > 2009 > 240 > Complete > 149-166
Formal Aspects of Computing > 2007 > 19 > 3 > 343-362
Electronic Notes in Theoretical Computer Science > 2006 > 145 > Complete > 27-43