Jean-Raymond Abrial

From PKC

Jump to navigation Jump to search

Jean-Raymond Abrial(Q3169881) is a French computer scientist who invented:Data Semantics and the B Formal Method.

Retrieved from "https://pkc.pub/index.php?title=Jean-Raymond_Abrial&oldid=38083"