KIV 3.0 for Provably Correct Systems

@inproceedings{Balser1998KIV3F,
  title={KIV 3.0 for Provably Correct Systems},
  author={Michael Balser and Wolfgang Reif and Gerhard Schellhorn and Kurt Stenzel},
  booktitle={FM-Trends},
  year={1998}
}