TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Subject:
From:
Laurent Guerby <[log in to unmask]>
Date:
Sat, 6 Nov 1999 12:32:51 +0100
In-Reply-To:
<[log in to unmask]> (message from Michael Feldman on Thu, 4 Nov 1999 18:48:40 -0500)
X-To:
Reply-To:
Parts/Attachments:
text/plain (11 lines)
A quick search on METEOR Ada on http://www.google.com gives:

http://www.atelierb.societe.com/other_papers/english/using_B/using_B.htm

http://www.atelierb.societe.com/other_papers/french/utilise_B/utilisation_de_B.htm

It gives some insight on how the thing was formally validated. There
is the email of an RATP guy in the French version.

--LG

ATOM RSS1 RSS2