Verification of dynamic bisimulation theorems in Coq
scientific article; zbMATH DE number 7363407
scientific article