Difference between revisions of "Jean-Raymond Abrial"

From PKC
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-method]].
{{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.