Back to Results
First PageMeta Content
Formal methods / Rodin tool / Theoretical computer science / Software engineering / Rodin / Michael Butler / B-Method / Independent Investigations Group


Microsoft Word - D20-1.0.c.doc
Add to Reading List

Document Date: 2006-11-21 08:16:27

Open Document

File Size: 454,01 KB

Share Result on Facebook