Workshop on the SPIN Verification System (2nd 1996 Rutgers University)

Books by Workshop on the SPIN Verification System (2nd 1996 Rutgers University) on BookTides.