Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Jean-Raymond Abrial

Home / Authors / Jean-Raymond Abrial

Tags

software engineering science abstraction academia actor model parallel computing software development process formal methods scientific modeling formal sciences

Published Books

Modeling in Event-B: System and Software Engineering

Read more

June 2010

Co-Authors