Author

Abrial, Jean-Raymond

Catalogue records by Abrial, Jean-Raymond in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

Modeling in Event-B: System and Software Engineering Abrial, Jean-Raymond Year not listed Modeling in events B Abrial, Jean-Raymond 2010