The following pages link to Steven M. German (Q583873):
Displayed 10 items.
- Reasoning about procedures as parameters in the language L4 (Q583874) (← links)
- Semantics and reasoning with free procedures (Q1193855) (← links)
- Formal design of cache memory protocols in IBM (Q1870225) (← links)
- Monitoring for Deadlock and Blocking in Ada Tasking (Q3216131) (← links)
- (Q3326819) (← links)
- Effective Axiomatizations of Hoare Logics (Q3763566) (← links)
- (Q4818814) (← links)
- Correct Hardware Design and Verification Methods (Q5493237) (← links)
- Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic (Q5738912) (← links)
- Model Checking Software (Q5899045) (← links)