Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Program Correctness through Se...

Treffer: Program Correctness through Self-Certification.

Title:
Program Correctness through Self-Certification.
Authors:
Namjoshi, Kedar S.1 (AUTHOR) kedar.namjoshi@nokia-bell-labs.com, Zuck, Lenore D.2 (AUTHOR) zuck@uic.edu
Source:
Communications of the ACM. Feb2025, Vol. 68 Issue 2, p74-84. 11p.
Database:
Business Source Ultimate