card(registered) = 28
Our invariant is:
card(registered) <= 30
Subscribe to:
Post Comments (Atom)
skip to main |
skip to sidebar
Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010
Mes blogs, web pages
Search This Blog
Followers, Abonnés fidèles
About Me
- Arédius44
- J'ai vécu à St-Yrieix-la-Perche jusqu'en Terminale. Nantais depuis 1971. Ancien prof à l'université de Nantes, Arédien aux beaux jours.Cycliste urbain quotidien. Milite pour le retour des goujons dans les eaux limousines Mon blog principal : http://lefenetrou.blogspot.com
Blog Archive
-
▼
2008
(64)
-
▼
June
(13)
- B in Brazil ...
- Minutes of the conference
- Les JS 2008, un franc succès
- Esquisse 5
- The international astronomy conference of Nantes: ...
- La Cigale
- Nantes
- Workshop on Experiments in Verified Software
- Private Spectacle
- Your public transport itineraries
- Event-B, Rodin and Deploy
- Two places only...
- Sunday June 15
-
▼
June
(13)
No comments:
Post a Comment