Title
Improving lazy abstraction for SCR specifications through constraint relaxation.
Year
Venue
DocType
2018
Softw. Test., Verif. Reliab.
Journal
Volume
Issue
Citations 
28
2
1
PageRank 
References 
Authors
0.36
0
4
Name
Order
Citations
PageRank
Renzo Degiovanni1185.03
Pablo Ponzio2144.92
Nazareno Aguirre315921.79
Marcelo F. Frias429535.57