Search results for: Ana Cavalcanti
Software Quality Journal > 2019 > 27 > 2 > 529-562
Software & Systems Modeling > 2019 > 18 > 5 > 3097-3149
Concurrency and Computation: Practice and Experience > 29 > 6 > n/a - n/a
Information and Software Technology > 2017 > 81 > C > 131-153
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Real-Time and Co-design > 478-493
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Refinement > 697-716
Lecture Notes in Computer Science > FM’99 — Formal Methods > Refinement > 1439-1459