ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Didier Bert (Redaktör), Jonathan Bowen (Redaktör), Steve King (Redaktör), Marina Walden (Redaktör)

Forskningsoutput: Bok/tidskrift/rapportAntologi/redigerad tidskriftVetenskapligPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings”. Tillsammans bildar de ett unikt fingeravtryck.

Ingenjörs- och materialvetenskap