Home > Authors > Akash Lal > Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments

Akash Lal, Stefano Tonetta

Recent activity

Rate this book to see your activity here.

1 Book Similar to Verified Software. Theories, Tools and Experiments by Akash Lal

Bookscovery readers who liked Verified Software. Theories, Tools and Experiments also like Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops. How many of these have you read?

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops by Jérémie Guiochet

Cover of Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Verified Software. Theories, Tools and Experiments

Please sign in to leave a comment