Evaluating the effect of a lightweight formal technique in industry
Crossref DOI link: https://doi.org/10.1007/s10009-015-0374-1
Published Online: 2015-04-02
Published Print: 2016-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Osaiweran, Ammar
Schuts, Mathijs
Hooman, Jozef
Groote, Jan Friso
van Rijnsoever, Bart
License valid from 2015-04-02