A Unifying View On Smt-Based Software Verification (Vol 60, Pg 299, 2018) - Citegraph

Paper Info

Title
A Unifying View On Smt-Based Software Verification (Vol 60, Pg 299, 2018)

Abstract
The article “A Unifying View on SMT-Based Software Verification”, written by Dirk Beyer, Matthias Dangl and Philipp Wendler, was originally published Online First without Open Access

Year	DOI	Venue
2021	10.1007/s10817-020-09585-6	JOURNAL OF AUTOMATED REASONING
DocType	Volume	Issue
Journal	65	3
ISSN	Citations	PageRank
0168-7433	0	0.34
References	Authors
0	3

Authors (3 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Dirk Beyer	1	1736	100.85
Matthias Dangl	2	60	4.53
Philipp Wendler	3	251	14.51

1