An Event-B Plug-in for Creating Deadlock-Freeness Theorems (2011)

by F Yang, J-P Jacquot
Venue:in The 14th Symposium on FM, São