The SPIN verification system：the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996

Corporate Authors: Workshop on the SPIN Verification System (2nd 1996 Rutgers University)
Group Author: Grégoire Jean-Charles, 1960-; Holzmann Gerard J. 1951-; Peled Doron, 1962-
Published: American Mathematical Society,
Publication Dates: c1997.
Call Number: TP311.5-532/W926.1/1996/