A New Verification Method for Embedded Systems

Paperback / softback