"Web Services, Formal Methods, and Behavioral Types"
Thomas Hildebrandt
"Web Services, Formal Methods, and Behavioral Types" - 1st ed. 2016 - Springer 2016 - Lecture Notes in Computer Science .
9783319336121
Computer and Information Systems Applications
Computer Science
"Web Services, Formal Methods, and Behavioral Types" - 1st ed. 2016 - Springer 2016 - Lecture Notes in Computer Science .
9783319336121
Computer and Information Systems Applications
Computer Science