People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Issam Maamria and Michael Butler. Rewriting and Well-Definedness within a Proof System. Gavin Mendel-Gleason and Geoff Hamilton. Inhabitation of (Co)-inductive Types using ...
Proposal for an extensible rule-based prover for Event-B Issam Maamria, Michael JButler, Andrew Edmunds, Abdolbaghi Rezazadeh e-mail:im06r, mjb, ae2, ra3@ecs.soton.ac.uk Dependable ...
Event-B is a formalism for discrete system modelling. The Rodin platform provides a toolset to carry out specification, refinement and proof in Event-B. The importance of proofs as ...
On an Extensible Rule-based Prover for Event-B Issam Maamria, Michael Butler, Andrew Edmunds, and Abdolbaghi Rezazadeh ECS, University of Southampton, Southampton SO171BJ, UK fim06r ...
Maamria, I. and Butler, M. (2010) Rewriting and Well-Definedness within a Proof ... Issam Maamria: Michael Butler
Issam Maamria and Michael Butler. Rewriting and Well-Definedness within a Proof System. Gavin Mendel-Gleason and Geoff Hamilton. Inhabitation of (Co)-inductive Types using ...
Proposal for an extensible rule-based prover for Event-B Issam Maamria, Michael JButler, Andrew Edmunds, Abdolbaghi Rezazadeh e-mail:im06r, mjb, ae2, ra3@ecs.soton.ac.uk ...
Event-B is a formalism for discrete system modelling. The Rodin platform provides a toolset to carry out specification, refinement and proof in Event-B. The importance of ...
Coventry, United Kingdom - Student at University of WarwickView Issam Maamria's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Issam Maamria discover ...
Issam Maamria, Michael Butler: Rewriting and Well-Definedness within a Proof System PAR 2010: 49-64. Coauthor Index · 1 · Michael Butler, [1] [2] ...
File Format: PDF/Adobe Acrobat -
29 Jul 2010 ... Issam Maamria, Proposal for an extensible rule-based prover ...
15 Jul 2010 ... Issam Maamria and Michael Butler. Rewriting and Well-Definedness within a Proof System. Claudio Sacerdoti Coen and Silvio Valentini. ...
6 Jan 2011 ... [Rodin announce] Theory v0.6 Release, Issam Maamria <im06r@ec. ... [Rodin announce] Rule-based Prover 0.3.0 Release, Issam Maamria <im06r@ec ...
1 Mar 2010 ... Julian Rathke; Pawel Sobocinski; Ross Horne; Sardaouna Hamadou; Corina Cirstea; Issam Maamria; Toby Wilkinson; Gabrielle Anderson ...
... Gudmund Grov and Michael Butler; On an Extensible Rule-based Prover for Event-B - Issam Maamria, Michael Butler, Andrew Edmunds and Abdolbaghi Rezazadeh ...
Linkedin