Verification Support Environment

@inproceedings{Stephan2005VerificationSE,
  title={Verification Support Environment},
  author={Werner Stephan and Bruno Langenstein and Andreas Nonnengart and Georg Rock},
  booktitle={Mechanizing Mathematical Reasoning},
  year={2005}
}
Highly Cited
This paper has 19 citations. REVIEW CITATIONS