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