Verification Support Environment.
Mechanizing Mathematical Reasoning. 2005 S. 476 - 493
Erscheinungsjahr: 2005
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1007/978-3-540-32254-2_27
| Geprüft: | Bibliothek |
Autoren
Stephan, Werner (Autor)
Langenstein, Bruno (Autor)
Nonnengart, Andreas (Autor)
