LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08867-9_41 ◽

2014 ◽

pp. 620-627 ◽

Author(s):

Alejandro Sánchez ◽

César Sánchez

Download Full-text