[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 .