ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings Bert Didier Heftet / 2003 / Engelsk
High Performance Computing for Computational Science - VECPAR 2002 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks Palma, José M.L.M. Heftet / 2003 / Engelsk
