Formal 2005

Zb 2005: Formal Specification And Development In Z And B

Fm 2005: Formal Methods

Artificial Neural Networks: Formal Models And Their Applications - Icann 2005

Formal Techniques For Networked And Distributed Systems - Forte 2005

The Gambling Act 2005: A Bet Worth Taking?: First Report Of Session 2012-13: Report, Together With Formal Minutes, Oral And Written Evidence (House Of Commons Papers)