[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

KIV and CoFI

You can find at the following URL

http://www.informatik.uni-ulm.de/pm/kiv/kiv-casl.html

- Wolfgang's presentation in Cachan on 11/10/98 

- the following paper on KIV :
  Structured Specifications and Interactive Proofs with KIV. 
       W. Reif, G. Schellhorn, K. Stenzel, M. Balser. 
       In: W. Bibel and P. H. Schmitt (eds.), 
       Automated Deduction - A Basis for Applications, Vol 2. 
       Kluwer Academic Publishers, Netherlands, 1998

Helene