Login
- Title:
Hello World
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Diekmann, Cornelius; Hupel, Lars
- Journal title:
- Archive of Formal Proofs
- Year:
- 2020
- Month:
- March
- WWW:
- https://isa-afp.org/entries/Hello_World.html
- Print-ISSN:
- 2150-914x
- Notes:
- Formal proof development
BibTeX