A refinement calculus for Z by Cavalcanti, A, Ana Cavalcanti

From Control Law Diagrams to Ada via Circus by Cavalcanti, A, Clayton, P, O'Halloran, C

From control law diagrams to Ada via Circus by Cavalcanti, A, Clayton, P, O'Halloran, C

Test-data generation for control coverage by proof by Cavalcanti, A, King, S, O'Halloran, C, Woodcock, J

Test−data Generation for Control Coverage by Proof by Cavalcanti, A, King, S, O'Halloran, C, Woodcock, J

Less is more revisited: association with global multiparty session types by Yoshida, N, Hou, P

Other Authors: “…Cavalcanti, A…”

Robot accident investigation: a case study in responsible robotics by Winfield, AFT, Winkle, K, Webb, H, Lyngs, U, Jirotka, M, Macrae, C

Other Authors: “…Cavalcanti, A…”