The following pages link to Heike Wehrheim (Q436355):
Displayed 14 items.
- Refactoring Object-Oriented Specifications with Data and Processes (Q5428914) (← links)
- Bounded Model Checking for Partial Kripke Structures (Q5505615) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703816) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703819) (← links)
- Formal Methods for Components and Objects (Q5897128) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902542) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902549) (← links)
- Data abstraction techniques in the validation of CSP-OZ specifications (Q5926768) (← links)
- Editorial (Q5970747) (← links)
- Editorial (Q5970749) (← links)
- (Q6083440) (← links)
- Making Linearizability Compositional for Partially Ordered Executions (Q6104493) (← links)
- Information Exchange Between Over- and Underapproximating Software Analyses (Q6111606) (← links)
- Reasoning about promises in weak memory models with event structures (Q6174540) (← links)