Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.

Changjing Wang, Jinyun Xue

Browse the full FAW paper archive.