An official website of the United States government
The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before
sharing sensitive information, make sure you’re on a federal
government site.
The site is secure.
The https:// ensures that you are connecting to the
official website and that any information you provide is encrypted
and transmitted securely.
Schubotz M, Greiner-Petter A, Scharpf P, Meuschke N, Cohl HS, Gipp B.Schubotz M, et al. Among authors: cohl hs.TUGboat (Provid). 2018 May;39(3):10.1145/3197026.3197058. doi: 10.1145/3197026.3197058.TUGboat (Provid). 2018.PMID: 34584342Free PMC article.