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
Web Services, Formal Methods, and Behavioral Types - Springer Springer 2016
9783319336121
EBOOK
