Event-B Generic Instantiation svn

A Rodin Platform Plug-in for Generic Instantiation

Status: Alpha

Brought to you by: fuersta, hitachi-ethz, naotosato, tshoang

HTTPS access

File	Date	Author	Commit
trunk	2015-09-09	tshoang	[r10] Version 1.1.1 of Generic Instantiation plug-in