Rodin tool

#	Item
31	Ýs Debian GNU/Linux 3.1 (‘sarge’), ARM Josip Rodin, Bob Hilliard, Adam Di Carlo, Anne Bezemer, Rob Bradford (current), Frans Pop (current) Add to Reading List Source URL: www.debian.org Language: English - Date: 2007-04-04 05:31:55 Ubuntu Cross-platform software Debian Character encoding Deb Acute accent Advanced Packaging Tool World glyph set C1 Controls and Latin-1 Supplement Software System software Dpkg
32	PDF Document Add to Reading List Source URL: deploy-eprints.ecs.soton.ac.uk Language: English - Date: 2009-12-08 16:03:23 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