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 (Toimittaja), Jonathan Bowen (Toimittaja), Steve King (Toimittaja), Marina Walden (Toimittaja)

Tutkimustuotos: Kirja/lehti/raporttiAntologia/toimitettu lehtiTieteellinenvertaisarvioitu

Sormenjälki

Sukella tutkimusaiheisiin 'ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Ingenjörs- och materialvetenskap