-
Mário Pereira authored
Factorial computation following the *Program Graphs* presentation by Nielson and Nielson in their book "Formal Methods -- An Appetizer".
1349b793
Factorial computation following the *Program Graphs* presentation by Nielson and Nielson in their book "Formal Methods -- An Appetizer".