by Jenkins, Christopher H. M.
Year of Publication 2001

by Julliand, Jacques, Kouchnarenko, Olga, International Conference of B and Z Users
Year of Publication 2006

by Rasteiro, M. G.
Published in 2013 1st International Conference of the Portuguese Society for Engineering Education (CISPEE) (01.10.2013)

by Encarnação, José
Published in Computer graphics forum (01.08.1998)

by Encarnacao, J.L.
Published in Proceedings, XII Brazilian Symposium on Computer Graphics and Image Processing : Campinas, SP, Brazil, October 17-20, 1999 (1999)

by Nezhinsky, Alexander E., Verbeek, Fons J.
Published in Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012)