109
click to vote
FP
15 years 6 months ago
1989 
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
|
Formal Methods