CENTRAL LIBRARY
MILITARY INSTITUTE OF SCIENCE & TECHNOLOGY
0%
MIST Logo
Central Library
Military Institute of Science & Technology
Est. 1999  ·  Mirpur Cantonment, Dhaka
Open · Research · Knowledge
--:--
---
CHECKING
Register
Back to eBook Library
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Computer Science Springer Nature

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Tiziana Margaria, Bernhard Steffen
Publisher
Springer Nature
Imprint
Springer
Year
2025
ISBN
978-3-031-73709-1
Category
Computer Science
Read on Springer Nature
Access: On-campus: direct access. Off-campus: sign in via Shibboleth (BDREN TigerFed). See the Remote Access guide for off-campus sign-in.
Theme