Complete Symbolic Simulation of Systemc Models : Efficient Formal Verification of Finite Non-terminating Programs
ISBN: 9783658126803
Information Available:
Summary
Author Notes
Inside Flap
Cover Image
Copyright held by Baker & Taylor.