Jove

MaRDI QIDQ1354636swMATHFDO

Official website https://www.cs.utah.edu/~ganesh/Jove.html

Source code repository https://github.com/ganeshutah/Jove

Described by source

• Automata and computability. A programmer's perspective

This page was built for software: Jove