Verification, Model Checking, and Abstract Interpretation

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Shankaranarayanan, Krishna
Weitere Verfasser:	Sankaranarayanan, Sriram, Trivedi, Ashutosh
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	Springer Nature, 2025.
Schlagworte:	Computer Science
Online-Zugang:	Access eBook
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

Ähnliche Einträge: Verification, Model Checking, and Abstract Interpretation