User menu

A program verification system based on Oz

Bibliographic reference Dony, Isabelle ; Le Charlier, Baudouin. A program verification system based on Oz.2nd International Conference Multiparadigm Programming in Mozart/Oz (Charleroi(Belgium), Oct 07-08, 2004). In: Lecture Notes in Computer Science, Vol. 3389, p. 41-52 (2005)
Permanent URL http://hdl.handle.net/2078.1/60987