My secondment at Green by Web was related to Task 3.4 (Static verification of b-APIs consumers) in WP3. We’ve addressed the problem of statically verifying systems of concurrent processes where
My secondment at Green by Web was related to Task 3.4 (Static verification of b-APIs consumers) in WP3. We’ve addressed the problem of statically verifying systems of concurrent processes where