[CITATION][C] Model-based verification through refinement of finite B event systems

F Bellegarde, J Julliand, H Mountassir�- Formal Methods, 1999
Save Cite Cited by 4 Related articles
Showing the best result for this search. See all results