The following pages link to Daniel Le Métayer (Q751837):
Displaying 9 items.
- The gamma model and its discipline of programming (Q751838) (← links)
- Compile-time detection of information flow in sequential programs (Q826055) (← links)
- Refining multiset transformers (Q1127515) (← links)
- Structured gamma (Q1818363) (← links)
- (Q2723932) (← links)
- (Q2771738) (← links)
- A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence (Q2999322) (← links)
- IT Security Analysis Best Practices and Formal Approaches (Q3184792) (← links)
- Dynamic slicing: a generic analysis based on a natural semantics format (Q4943502) (← links)
