This is the Keynote titled "An Exercise in Mathematical Engineering:
Stating and Proving Kuratowski Theorem" by Invited Speaker Jean-Raymond
Abrial (Chair: Camilo Rueda)
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
-
▼
2018
(6)
-
▼
January
(6)
- Méthodes formelles et systèmes cyber-physiques – S...
- China : Jean-Raymond Abrial : "international scie...
- ICTAC2015 Conference - Keynote by Jean-Raymond Abrial
- http://ggrov.github.io/tinker/abz2016/ ...
- Lectures of Jean-Raymond Abrial on B, Event-B, Rod...
- Verification Corner, Modeling, refinement, and ver...
-
▼
January
(6)
No comments:
Post a Comment