[M4] ================================================ AMAST Links 02 05

           Conference on Computer-Aided Verification, CAV'95
                 Liege, Belgium, July 3 - July 5, 1995

   *Update* of [SIAN04p2-3].

   The _CAV'95 Program_ and other information about the conference and
   Belgium is available through the WWW at URL:
   http://www.montefiore.ulg.ac.be/cav95.html