Pages that link to "Refinement (computing)"
Jump to navigation
Jump to search
The following pages link to Refinement (computing):
Displaying 10 items.
- LexisNexis Risk Solutions (← links)
- Index of object-oriented programming articles (← links)
- Model checking (← links)
- Agile software development (← links)
- Software prototyping (← links)
- B-Method (← links)
- Jean-Raymond Abrial (← links)
- Eric Hehner (← links)
- Ralph-Johan Back (← links)
- Jim Woodcock (← links)