Back to Results
First PageMeta Content
Rodin tool / B-Method / Rodin / Entity-relationship model / Jean-Raymond Abrial / Michael Butler / Model checking / Scientific modelling / BCS-FACS / Formal methods / Software development / Theoretical computer science


Document Date: 2009-12-08 16:03:23

Open Document

File Size: 338,10 KB

Share Result on Facebook
UPDATE