Difference between revisions of "Jean-Raymond Abrial"
Jump to navigation
Jump to search
(Created page with "{{WikiEntry|key={{PAGENAME}}|qCode=3169881}} is a French computer scientist who invented:Data Semantics and the B-method.") |
|||
Line 1: | Line 1: | ||
{{WikiEntry|key={{PAGENAME}}|qCode=3169881}} is a French computer scientist who invented:[[Data Semantics]] and the [[B | {{WikiEntry|key={{PAGENAME}}|qCode=3169881}} is a French computer scientist who invented:[[Data Semantics]] and the [[B Formal Method]]. |
Latest revision as of 05:03, 27 January 2023
Jean-Raymond Abrial(Q3169881) is a French computer scientist who invented:Data Semantics and the B Formal Method.