Towards verification of computer codes f
β
Alexander Nies
π
Article
π
1993
π
Elsevier Science
π
English
β 888 KB