The Automatic Detection of Token Structures and Invariants Using SAT Checking. - Citegraph

Paper Info

Title
The Automatic Detection of Token Structures and Invariants Using SAT Checking.

Year	Venue	DocType
2017	European Joint Conferences on Theory And Practice of Software	Conference
Citations	PageRank	References
0	0.34	0
Authors
3

Authors (3 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Pedro R. G. Antonino	1	0	0.34
Thomas Gibson-Robinson	2	0	0.68
A. W. Roscoe	3	31	25.90

1