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

Changjing Wang Jinyun Xue Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. 27-39 2009 FAW http://dx.doi.org/10.1007/978-3-642-02270-8_6 conf/faw/2009 db/conf/faw/faw2009.html#WangX09