Difference between pages "Generic Instantiation Release History" and "File:Towards Modular Development in Event-B.pdf"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Asiehsalehi
(Created page with "= Version 1.0.0 = * Initial release for Rodin 2.7.")
 
 
Line 1: Line 1:
= Version 1.0.0 =
+
Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler)
* Initial release for Rodin 2.7.
 

Latest revision as of 20:50, 30 April 2020

Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler)