Formal Methods and Software Engineering

Zhenhua Duan, Luke Ong

Formal Methods and Software Engineering - Springer Springer 2017

9783319686905

EBOOK