Can Learning Formal Specification Be Fun? - Experience and Perspective.

I. S. W. B. Prasetya, Craig Q. H. D. Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries

Browse the full ICST paper archive.