User menu

On automatic, constraint-based test-case generation for Mercury and its application to imperative languages

Bibliographic reference Degrave, François. On automatic, constraint-based test-case generation for Mercury and its application to imperative languages.  Prom. : Vanhoof, Wim
Permanent URL http://hdl.handle.net/2078.2/129078