Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever. Evaluating the effect of a lightweight formal technique in industry. STTT, 18(1):93-108, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.