The following pages link to I. S. Anureev (Q174075):
Displayed 25 items.
- Towards verification of C programs: Axiomatic semantics of the C-kernel language (Q557549) (← links)
- Generation of correctness conditions for imperative programs (Q840060) (← links)
- Operational ontological approach to formal programming language specification (Q840084) (← links)
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- (Q2145265) (redirect page) (← links)
- Event-driven temporal logic pattern for control software requirements specification (Q2145270) (← links)
- (Q2880622) (← links)
- (Q2882982) (← links)
- (Q2882983) (← links)
- (Q2882984) (← links)
- (Q2963869) (← links)
- (Q2963890) (← links)
- (Q2979818) (← links)
- (Q2979838) (← links)
- (Q2979840) (← links)
- (Q2979869) (← links)
- (Q2979881) (← links)
- (Q3023537) (← links)
- (Q3152931) (← links)
- (Q4517045) (← links)
- (Q4517384) (← links)
- (Q4553627) (← links)
- (Q5866349) (← links)
- (Q5866352) (← links)
- A method of elimination of data structures based on formula rewriting systems (Q5930821) (← links)