Using Correctness-by-Construction to Derive Dead-zone Algorithms. - Citegraph

Paper Info

Title
Using Correctness-by-Construction to Derive Dead-zone Algorithms.

Year	Venue	Field
2014	Stringology	Dead zone,Computer science,Correctness,Algorithm,Probabilistic analysis of algorithms
DocType	Citations	PageRank
Conference	0	0.34
References	Authors
0	3

Authors (3 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Bruce W. Watson	1	338	53.24
Loek G. Cleophas	2	45	11.31
Derrick G. Kourie	3	223	33.10

1