ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING
SPRINGER
₹ 12,001.00
₹ 14,168.91
✻