Publications

5 results at Formal Aspects of Computing

A verification and deployment approach for elastic component-based applications
- - Mohamed Graiet
  - Lazhar Hamel
  - et al.
- 2017
- Formal Aspects of Computing
Deriving dense linear algebra libraries
- - Paolo Bientinesi
  - John A. Gunnels
  - et al.
- 2013
- Formal Aspects of Computing
A Methodology for Designing Proof Rules for Fair Parallel Programs
- - Charanjit S. Jutla
  - Josyula R. Rao
- 1997
- Formal Aspects of Computing
Specifying distributed CICS in Z: Accessing local and remote resources
- - Iain S.C. Houston
  - Mark B. Josephs
- 1994
- Formal Aspects of Computing
Sequential to parallel buffer refinement
- - Andrew Kay
  - Peter Lupton
- 1992
- Formal Aspects of Computing

A verification and deployment approach for elastic component-based applications