Crusader Magazine November-February 2010

Brother Roy's 'Sanctuary Messenger.'

Brother Roy's Messenger

Andrew's Messenger

An Operational Semantics for Handel-C

Semantic Domains for Handel-C

Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria

Andrew Butterfield Resume

Brother Andrew's 'Sanctuary Messenger'

'Power Lines' January - April 2010