Domain Engineering with Event-B: Some Lessons We Learned.

Atif Mashkoor, Jean-Pierre Jacquot

Browse the full RE paper archive.