Pages that link to "Jean-Raymond Abrial"
Showing 30 items.
- Z notation (links | edit)
- Programming Research Group (links | edit)
- Bertrand Meyer (links | edit)
- Entity–relationship model (links | edit)
- B-Method (links | edit)
- BCS-FACS (links | edit)
- Egon Börger (links | edit)
- Refinement calculus (links | edit)
- Escuela Superior Latinoamericana de Informática (links | edit)
- Abrial (links | edit)
- List of programming language researchers (links | edit)
- Carroll Morgan (computer scientist) (links | edit)
- Rodin tool (links | edit)
- Seed7 (links | edit)
- Abrial, Jean-Raymond (redirect page) (links | edit)
- Sunbury Research Centre (links | edit)
- IFIP Working Group 2.3 (links | edit)
- Talk:CICS (links | edit)
- Talk:Jean-Raymond Abrial (transclusion) (links | edit)
- Talk:Semantic data model (links | edit)
- Talk:Seed7 (links | edit)
- User:Alai/FRscientist (links | edit)
- User:Tony Sidaway/Living people/a00 (links | edit)
- User:Tony Sidaway/Living people/tranche 000 (links | edit)
- User:JTOnstead20/Books/Math Notations (links | edit)
- User:MarioGom/TOPCOI/H (links | edit)
- User talk:Pratyya Ghosh/Archives/7 (2013-03) (links | edit)
- Wikipedia:Deletion review/Log/2011 August 2 (links | edit)
- Wikipedia:Deletion review/Log/2011 August (links | edit)
- Wikipedia:WikiProject Science/Members of the Academia Europaea list (links | edit)