A Taste of Formal Methods for Computer Science Students using Jupyter Notebooks.

Zack Fitzsimmons, Zohair Raza Hassan, Edith Hemaspaandra, Carlos R. Rivero

Browse the full SIGCSE paper archive.