Web Services, Formal Methods, and Behavioral Types

Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich

Web Services, Formal Methods, and Behavioral Types - Springer Springer 2016

9783319336121

EBOOK
Copyright @ Delhi University Library System