Momba: JANI Meets Python.

Maximilian A. Khl, Michaela Klauck, Holger Hermanns

Browse the full TACAS paper archive.