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


Workshop on the SPIN Verification System
Bok Engelsk 1997

Detaljer

Bibliotek som har denne