Formal development of industrial-scale systems in ::::Circus::::

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock. Formal development of industrial-scale systems in ::::Circus::::. ISSE, 1(2):125-146, 2005. [doi]

Abstract

Abstract is missing.