Automatic generation and verification of transaction level models /

Bibliographic Details
Main Author: Lo Chi Yu Lo, Lucky (Author, Autor/a)
Format: Book
Language:English
Published: Irvine, Calif., 2009.
Subjects:

Similar Items