Experience with Literate Programming in the Modelling and Validation of Systems.

Theo C. Ruys, Ed Brinksma

Browse the full TACAS paper archive.