Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting

Marta Olszewska, Sergii Ostroumov, Marina Walden

Research output: Book/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science (TUCS)
ISBN (Print)978-952-12-3342-5
Publication statusPublished - 2016
MoE publication typeD4 Published development or research report or study

Cite this