Albert John Camilleri (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4		Simon Bainbridge, Albert John Camilleri, Roger Fleming: Theorem Proving as an Industrial Tool for System Level Desgin. TPCD 1992: 253-274
2		Simon Bainbridge, Albert John Camilleri, Roger Fleming: Industrial Application of Theorem Proving to System Level Design. TPHOLs 1991: 130-142

Selection of 2 from 8 records - Albert John Camilleri has 7 coauthors