Towards a Model Checker for Python: pymodcheck.

Dara MacConville, Rosemary Monahan

Browse the full FTfJP paper archive.