- Preview Available
- Dissertation or Thesis
MLP: String-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits
MLP: String-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuitsBronstein, Alexandre.
Stanford University ProQuest Dissertations & Theses, 1990. 9017831.





