Parallel Development of Event-B Systems with Agile Methods

Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden

    Forskningsoutput: Kapitel i bok/konferenshandlingPublicerad konferensartikelVetenskapligPeer review

    Sökresultat