Piterman, Nir (2015). [Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 9434 || A New Refinement Strategy for CEGAR-Based Industrial Model Checking. , 10.1007/978-3-319-26287-1(Chapter 10), 155–170.
doi:10.1007/978-3-319-26287-1_10
url to share this paper:
An interview with Sci-Hub Founder Alexandra Elbakyan Who exactly should pay for academic research