APA (7th ed.) Citation

Lieb, A. (2026). TChecker VM. Zenodo.

Chicago Style (17th ed.) Citation

Lieb, Alexander. TChecker VM. Zenodo, 2026.

MLA (9th ed.) Citation

Lieb, Alexander. TChecker VM. Zenodo, 2026.

Warning: These citations may not always be 100% accurate.