Principles of Verification : Cycling the Probabilistic Landscape
Subtitle: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031757747