DMCA

Guidelines for Formal Domain Modeling in Event-B (2011)

Cached

Download Links

by Atif Mashkoor , Jean-pierre Jacquot