Software-Verifikation und ihre Anwendungen

Published: 01 Jan 1997, Last Modified: 09 Nov 2024Informationstechnik Tech. Inform. 1997EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Article Software-Verifikation und ihre Anwendungen was published on March 1, 1997 in the journal it - Information Technology (volume 39, issue 3).
Loading

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview