Login
- Titel:
Hello World
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Diekmann, Cornelius; Hupel, Lars
- Zeitschriftentitel:
- Archive of Formal Proofs
- Jahr:
- 2020
- Monat:
- March
- WWW:
- https://isa-afp.org/entries/Hello_World.html
- Print-ISSN:
- 2150-914x
- Hinweise:
- Formal proof development
BibTeX