Ghosts for Lists: From Axiomatic to Executable Specifications.

Frdric Loulergue, Allan Blanchard, Nikolai Kosmatov

Browse the full TAP paper archive.