Correct-by-Construction Dynamic Reachability: A Galois-Connected Approach to Bidirected Dyck Languages.

Xiaofei Zhao

Browse the full FM paper archive.