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
Send Feedback
Enter your feedback below and we'll get back to you as soon as possible. To submit a bug report or feature request, you can use the official OpenReview GitHub repository: Report an issue
BibTeX Record
Click anywhere on the box above to highlight complete record