Home > Research > Publications & Outputs > Corecursion for Compositional Verification
View graph of relations

Corecursion for Compositional Verification

Research output: Other contribution

Published
Publication date14/01/2016
<mark>Original language</mark>English