Towards Modular Development in Event-B Thai Son Hoang1 1 2

First Page		Document Content
Date: 2016-05-23 10:08:00 Invariant theory Probability theory Information theory Linear algebra Invariant of a binary form		Towards Modular Development in Event-B Thai Son Hoang1 1 2 Add to Reading List Source URL: wiki.event-b.org Download Document from Source Website File Size: 196,56 KB Share Document on Facebook