http:^^www.cs.cornell.edu^info^people^tah^cav96.html

This data set contains WWW-pages collected from computer science departments of various universities

MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 21:25:32 GMT
Content-Type: text/html
Content-Length: 258


<title>Computer-Aided Verification: CAV 96</title>
<h1>Computer-Aided Verification: CAV 96</h1>
<a href="http://www.research.att.com/lics/floc/ap/contents.html">
FLoC 96 and CAV 96 home pages</a>, 
including technical programs and registration information.