Formal Methods: Foundations and Applications

Márcio Cornélio, Bill Roscoe

Formal Methods: Foundations and Applications - Springer Springer 2016

9783319294735

EBOOK
Copyright @ Delhi University Library System