Click on the image to enlarge it.
TSI, vol. 3, n° 3, 1984
The two first pages. To read the entire paper go here
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
-
▼
2009
(41)
-
▼
May
(14)
- Nantes
- From the Airport/Train Station to the Cité des Con...
- From the airport Nantes Atlantique to Nantes
- "Data Semantics"
- Specification or how yo make Abstraction Real
- Yes, you are in Nantes !
- Registration
- During the Journées Scientifiques 2009
- Bienvenue à Nantes, la ville où le monde se retrou...
- Read the archives 2008
- Le Trois-Mâts Belem à Nantes
- Your public transport itineraries
- June 7-2009, Nantes, Royal de Luxe
- Programme of the 2009 Conference
-
▼
May
(14)
No comments:
Post a Comment