
Verification of CBI's intervention logic: Insights from the PRIME Toolbox
Author(s) -
Fédes van Rijn,
Giel Ton,
Karen Maas,
Haki Pamuk,
Job Harms,
Just Dengerink,
Y.R. Waarts,
Carly Relou,
B.I. de Vos,
Frank Hubers
Publication year - 2018
Language(s) - English
Resource type - Reports
DOI - 10.18174/444617
Subject(s) - toolbox , prime (order theory) , computer science , programming language , mathematics , combinatorics