Building traceable Event-B models from requirements
Alkhammash, Eman, Butler, Michael, Fathabadi, Asieh Salehi, Cîrstea, CorinaVolume:
111
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2015.06.002
Date:
November, 2015
File:
PDF, 3.28 MB
english, 2015