Title
On the completeness of proving partial correctness
Year
Venue
Field
1981
Acta Cybern.
Discrete mathematics,Correctness,Completeness (statistics),Calculus,Mathematics
DocType
Volume
Citations 
Journal
5
9
PageRank 
References 
Authors
1.19
0
1
Name
Order
Citations
PageRank
László Csirmaz116315.86