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